3. fejezet
Matematikai logika Logikai m¶veletek, kvantorok D 3.1
A
P
és
Q
elemi ítéletekre vonatkozó logikai alapm¶veleteket (konjunkció (∧),
diszjunkció (∨), implikáció (⇒), ekvivalencia (⇔), negáció (¬)) táblázatos deníciói:
D 3.2
P
Q
P ∧Q
P ∨Q
P ⇒Q
P ⇔Q
P
¬P
1
1
1
1
1
1
1
0
1
0
0
1
0
0
0
1
0
1
0
1
1
0
0
0
0
0
1
1
Két logikai kifejezést akkor és csak akkor tekintünk azonosan egyenl®nek, ha
logikai értékük a bennük szerepl® logikai változók bármely értékére azonos. Az azonosság jele
≡. A
J 3.3
olyan
x,
T 3.4
(1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12)
∀xP (x) és a ∃xP (x) jelölések kiejtése: minden x-re (igaz, hogy) P (x)" és van P (x)". A ∀ ill. a ∃ jel neve univerzális ill. egzisztenciális kvantor.
hogy
Azonosságok:
∧ Q) ∧ R≡P ∧ (Q ∧ R) (P ∨ Q) ∨ R≡P ∨ (Q ∨ R) asszociativitás P ∧ Q≡Q ∧ P P ∨ Q≡Q ∨ P kommutativitás P ∧ P ≡P P ∨ P ≡P idempotencia (P ∧ Q) ∨ Q≡Q (P ∨ Q) ∧ Q≡Q elnyelés P ∧ (Q ∨ R)≡(P ∧ Q) ∨ (P ∧ R) P ∨ (Q ∧ R)≡(P ∨ Q) ∧ (P ∨ R) disztributivitás P ∧ 1≡P P ∧0≡0 P ∨ 1≡1 P ∨0≡P P ∧ ¬P ≡0 P ∨ ¬P ≡1 ¬(¬P ) ≡ P ¬(P ∧ Q)≡¬P ∨ ¬Q ¬(P ∨ Q)≡¬P ∧ ¬Q De Morgan-azonosságok P ⇒ Q≡¬P ∨ Q ¬(P ⇒ Q)≡P ∧ ¬Q P ⇒ Q≡¬Q ⇒ ¬P kontrapozíció P ⇔ Q≡(P ⇒ Q) ∧ (Q ⇒ P ) P ⇔ Q≡(P ∧ Q) ∨ (¬P ∧ ¬Q) ¬∀xP (x)≡∃x¬P (x) ¬∃xP (x)≡∀x¬P (x) kvantoros ítéletek tagadása (P
P 3.5
Bebizonyítjuk a
P ⇒ Q ≡ ¬P ∨ Q
azonosságot (T 3.4 (8)) a D 3.1 segítségével.
A táblázat kitöltésének lépéseit itt külön táblázatokban adjuk meg:
3-1
1) az értékpárok
3.
Matematikai logika Logikai m¶veletek, kvantorok
beírása, 2) a
¬P
értékének kiszámítása, 3) mindkét oldal kiszámítása.
P ⇒ Q ≡ ¬P ∨ Q
P ⇒ Q ≡ ¬P ∨ Q
P ⇒ Q ≡ ¬P ∨ Q
1
1
1
1
1
1
01
1
1 1
1
01 1 1
1
0
1
0
1
0
01
0
1 0
0
01 0 0
0
1
0
1
0
1
10
1
0 1
1
10 1 1
0
0
0
0
0
0
10
0
0 1
0
10 1 0
Q
hamis,
R
Feladatok Az alábbi feladatokban
P
igaz,
hamis és
S
igaz logikai érték¶ ítéletet
jelöl. Határozzuk meg a következ® összetett ítéletek logikai értékét:
.
∧ Q) ∧ R, 2. (P ∧ Q) ∨ R, 3. (P ∨ Q) ∨ R, (Q ∧ P ) ∨ S , 5. Q ∧ (P ∨ S ), 6. R ⇒ (Q ∨ ¬P ), P ⇒ (P ⇒ S ), 8. P ⇒ (R ∨ S ), (P ∨ R) ⇔ (Q ∨ S ), 10. (R ∧ ¬S ) ⇔ (Q ∨ S ), S ⇔ (P ⇒ (¬P ∨ S )), 12. (Q ∧ S ) ⇔ (P ⇒ (R ∨ ¬S )). Az implikáció Ha P , akkor Q (P ⇒ Q) ítéletét írjuk le több módon, például
(P
1.
4. 7. 9.
.
11.
•
13.
az alábbi kifejezések felhasználásával: implikálja, maga után vonja, szükséges feltétele, elégséges feltétele, csak akkor, 14.
Ha egy
...
.
n számú logikai változót tartalmazó kifejezés logikai értékét meg akar-
juk határozni a változók minden lehetséges értéke mellett, akkor hány esetet kell megvizsgálni? Más szóval: a P 3.5 példa szerint elkészített táblázatnak a vízszintes vonal alatt hány sora van, ha a logikai változók száma
n?
. 15. A
p, q és r logikai változókból képezzük a következ® két logikai kifejezést: p ∧ (q ∨ r) és (p ∧ q ) ∨ r. Azonosan egyenl®k-e ezek a kifejezések?
Igazoljuk a következ® azonosságokat táblázattal és/vagy a T 3.4 tételbeli azonosságok felhasználásával:
•
16.
. 17. .
19.
21. 23. 25. 27. 28.
.
29. 30.
31.
¬(p ⇒ q ) ≡ p ∧ ¬q , (implikáció tagadása, T 3.4 (8)), p ∧ q, 18. p ∨ (¬p ∧ q ) ≡ p ∨ q , p ⇔ q ≡ (p ∧ q ) ∨ (¬p ∧ ¬q ), 20. ¬(p ⇔ q ) ≡ (p ∨ q ) ∧ (¬p ∨ ¬q ), (p ∨ q ) ≡ ¬p ⇒ q , 22. ¬(p ∧ q ) ≡ p ⇒ ¬q , (p ⇒ q ) ∨ (q ⇒ p) ≡ 1, 24. [p ∧ (p ⇒ q )] ⇒ q ≡ 1, [¬p ∧ (p ⇒ q )] ⇒ ¬p ≡ 1, 26. (p ∧ q ) ⇒ p ≡ p ⇒ (p ∨ q ), ¬ [(p ∧ q ) ∨ (¬p ∧ ¬q )] ≡ (p ∨ q ) ∧ ¬(p ∧ q ), [p ∧ (p ⇒ q )] ⇒ q ≡ [¬q ∧ (p ⇒ q )] ⇒ ¬p, (p ∧ q ∧ r ) ⇒ s ≡ p ⇒ [q ⇒ (r ⇒ s)], (p ⇒ q )∨(q ⇒ p) ≡ ¬p ⇒ (p ⇒ q ), ¬ (((p ∧ q ) ∨ r) ⇒ p) ⇔ q ≡ (p ∨ q ∨ ¬r) ∧ (p ∨ ¬q ∨ r) ∧ (¬p ∨ ¬q ). 3-2
3.
Matematikai logika Logikai m¶veletek, kvantorok
Állítsuk el® az alábbi ítéleteket a logikai m¶veletek és tovább már nem bontható elemi ítéletek segítségével, majd ahol lehet, azonosságok alkalmazásával hozzuk egyszer¶bb alakra: 32.
Márta nem sz®ke."
33.
Nem igaz, hogy Mátyás nem elég virtuóz."
. 34. Esik az es®, de meleg van, bár a nap is elbújt, és az id® is kés®re jár." 35.
Éva vagy Pista ott volt."
36.
Ha a hegy nem megy Mohamedhez, Mohamed megy a hegyhez."
37.
Elmegyünk kirándulni, ha nem esik az es®, és a szél sem fúj."
38.
Kizárt, hogy se matekból, se zikából ne menjek át els®re."
39.
Ha a szemtanú megbízható, és az ujjlenyomatok a tettest®l származnak, akkor téved az írásszakért®."
40.
Szivárvány csak akkor van, ha esik az es®, a Nap is süt, de nincs dél."
A d®lt bet¶s mondatok mindegyike tekinthet® két elemi ítélet logikai függvényének. Írjuk fel e függvények logikai értékeit táblázat segítségével! (Vigyázzunk, a 'vagy' szót a hétköznapi beszédben többféle értelemben is használjuk.)
n
41.
Az
42.
Megyünk ma kirándulni és strandolni?
egész szám vagy páros, vagy páratlan.
Vagy kirándulni megyünk, vagy strandolni. 43.
Melyik állomás következik? Vagy Ecser, vagy Maglód.
A következ® feladatokban
S (x, y ) pedig az x, y T (x): x
P (x), Q(x), R(x), H (x) jelentse a következ®, x-t®l függ®, x és y pozitív egész számok:
változóktól függ® ítéleteket, ahol
prímszám;
P (x): x
páros szám;
S (x, y ): x
osztója
y -nak.
Mi az alábbi ítéletek logikai értéke:
T (7), 45. T (2) ∧ P (2), 46. ∃xT (x), 47. ∀y ∃x S (x, y ), 48. ∃xT (x) ∧ P (x)), 49. ∀xT (x), 50. ∀y (S (2, y )) ⇒ P (y )), 51. ∃x ∃y (S (x, y ) ⇒ y < x), • 52. ∀x∀y (S (x, y ) ⇒ x ≤ y ), 53. ∃x (S (6, x) ⇒ T (x)). Jelöljön x egy tetsz®leges négyszöget. Tekintsük a következ® ítéleteket: p(x): az x négyszög húrnégyszög; q (x): az x négyszög téglalap; r(x): az x négyszög szemközti szögeinek összege 180◦ ; s(x): az x négyszög átlói felezik egymást.
44.
Fogalmazzuk meg a következ® összetett ítéleteket, majd határozzuk meg azok logikai értékét: 54. 57. 60.
∀x[p(x) ⇒ q (x)], 55. ∀x[q (x) ⇒ p(x)], ∀x[p(x) ⇔ r(x)], 58. ∀x[q (x) ⇒ s(x)], ∀x[(p(x) ∧ ¬q (x)) ⇒ s(x)]. 3-3
56. 59.
∀x[p(x) ⇔ q (x)], ∀x[¬s(x) ⇒ ¬q (x)],
3.
Matematikai logika Logikai m¶veletek kapcsolata a halmazm¶veletekkel
Írjuk fel logikai m¶veletek és kvantorok segítségével az alábbi ítéleteket, majd fogalmazzuk meg mindegyik tagadását a T 3.4 (12) azonosság felhasználásával:
. Minden ajtón van kilincs." . 62. Nem mind molnár, ki szekercét fog hóna alá." (közmondás) 61.
63.
Ki nem szólt, csak bégetett,/ az kapott dicséretet." (Weöres Sándor)
• 64. Minden pozitív számra, ha 65.
ε számhoz van olyan δ pozitív szám, |x − a| < δ , akkor |f (x) − f (a)| < ε."
hogy bármely
x
valós
Mindig fázom, ha fúj a szél."
Logikai m¶veletek kapcsolata a halmazm¶veletekkel M 3.6
Halmazokhoz természetes módon hozzárendelhetünk logikai ítéleteket. Legyen
H
x ∈ H elemre p(x) logikai értéke p(x) legyen maga az x ∈ P ítélet. A ¬p(x) negáció halmazelméleti megfelel®je a P halmaz H -ra vonatkozó komplementere. Deníció szerint a p(x) és q (x) logikai értékekre a p(x) ∧ q (x) konjunkció akkor és csak akkor igaz, ha p(x) igaz, és q (x) is igaz. Ugyanakkor, valamely x dologra x ∈ P ∩ Q akkor és csak akkor teljesül, ha x ∈ P és x ∈ Q. Ezek alapján mondhatjuk, hogy a p(x) ∧ q (x) konjunkció halmazelméleti megfelel®je a P ∩ Q, és fordítva. Ehhez hasonlóan kapjuk, az alaphalmaz, és legyen abban legyen igaz, ha
x ∈ P,
P
egy halmaz. Valamely
és hamis, ha
x∈ / P,
azaz
hogy a diszjunkció halmazelméleti megfelel®je a halmazok egyesítése. E megfeleltetéseket képletekkel is felírva:
(x
∈ P ) ≡ ¬(x ∈ P ) ≡ ¬p(x),
(x
∈ P ∩ Q) ≡ (x ∈ P ) ∧ (x ∈ Q) ≡ p(x) ∧ q (x),
(x
∈ P ∪ Q) ≡ (x ∈ P ) ∨ (x ∈ Q) ≡ p(x) ∨ q (x).
p(x) logikai ítélethez hozzárendelhetünk egy P halmazt a következ® módon: legyen H azon x dolgok halmaza, amelyekre p igaz vagy hamis értéket vesz fel; és legyen P a H azon x elemeinek halmaza, amelyekre p(x) igaz. Ilyen módon minden logikai kifejezés átírható halmazelméleti formulára, és így ábrázolható Venn-diagrammal. Például, ha p(n) az az ítélet, hogy az n szám páros", akkor H -nak választhatjuk az egész számok halmazát, és ekkor a p(n) ítéletnek megfelel® P halmaz a páros számok halmaza, vagyis a p(n) ítélet megegyezik az n ∈ P ítélettel. Az 1-gyel jelölt azonosan igaz ítélet halmazelméleti megfelel®je a H alaphalmaz, a 0-val jelölt azonosan hamis ítéleté pedig az üres halmaz.
Fordítva, egy
Feladatok Írjuk fel és ábrázoljuk Venn-diagrammokkal az alábbi logikai kifejezések halmazelméleti megfelel®it, ha a
• 66. 68. 69.
p(x), q (x) és r(x) ítéleteknek a P , Q és R halmazok felelnek meg.
p(x) ⇒ q (x), 67. p(x) ⇔ q (x), p(x) ∨ ¬(q (x) ∧ r(x)) ≡ p(x) ∨ ¬q (x) ∨ ¬r(x), p(x) ∨ (q (x) ∧ r(x)) ≡ (p(x) ∨ q (x)) ∧ (p(x) ∨ r(x)), 3-4
3.
Matematikai logika Logikai áramkörök
70.
p(x) ⇒ 0 ≡ ¬p(x),
71.
[(p(x)
Ha a
p(x) és q (x) (x ∈ H ) ítéleteknek a P
∨ q (x)) ∧ (p(x) ∨ ¬q (x))] ∨ [(¬p(x) ∨ q (x)) ∧ (¬p(x) ∨ ¬q (x))] ≡ 1. és
Q halmazok felelnek meg, akkor milyen
halmazok közti összefüggések, illetve relációk felelnek meg az alábbi kvantoros kifejezéseknek: 72.
∀x p(x),
73.
75.
∀x (p(x) ⇔ q (x)),
76.
.
∀x ¬p(x),
74.
∃x p(x),
∀x (p(x) ⇒ q (x)),
77.
¬∃x (p(x) ∧ q (x)).
Melyek azonosságok az alábbi egyenl®ségek közül: 78.
∀x (p(x) ∧ q (x)) = (∀x p(x)) ∧ (∀x q (x)),
79.
∀x (p(x) ∨ q (x)) = (∀x p(x)) ∨ (∀x q (x)).
A következ® feladatokban megadott halmazelméleti azonosságokat logikai m¶veletek és azonosságok segítségével igazoljuk:
. (P
80.
∪ Q) ∩ (P ∪ R) ∩ (Q ∪ R) ≡ (P ∩ Q) ∪ (P ∩ R) ∪ (Q ∩ R).
81.
P − (Q ∩ R) ≡ (P − Q) ∪ (P − R).
82.
(P
∪ Q) ∩ (P ∪ Q) ∩ (P ∪ Q) ∩ (P ∪ Q) ≡ ∅.
83.
(P
∩ Q) (P ∩ Q) ≡ P Q.
84.
P ∪ Q ∪ R ≡ (P − Q) ∪ (Q − R) ∪ (R − P ) ∪ (P ∩ Q ∩ R).
? Tudjuk, hogy (p
85.
⇒ q ) ∨ (q ⇒ p) ≡ 1
(l. 25. feladat). Hogyan lehet, hogy az
alábbi állítás mégsem azonosan igaz: ha esik az es®, akkor fúj a szél, vagy ha fúj a szél, akkor esik az es®."
. Kontrapozíció alkalmazásával igazoljuk, hogy ha n és m olyan pozitív egészek,
86.
hogy 87.
n + m ≥ 49,
akkor
n ≥ 25,
vagy
m ≥ 25.
A hét mely napjain igaz és mely napjain hamis az alábbi két állítás: (1) Ha ma kedd van, akkor holnap szerda, (2) Ha ma kedd van, akkor holnap szombat!
Az
A ⇒ B és B ⇒ A állítást egymás megfordításainak nevezzük.
Írjuk fel az alábbi
matematikai állítások megfordítását, és döntsük el mindegyikr®l, igaz-e vagy nem:
ab-vel,
Ha egy természetes szám osztható
89.
Ha két négyszög egybevágó, akkor megfelel® oldalaik egyenl®k egymással.
90.
Ha egy háromszög derékszög¶, akkor két oldal négyzetösszege egyenl® a harmadik négyzetével. 3-5
akkor osztható
a-val is és b-vel is.
88.
3.
Matematikai logika Logikai áramkörök
Logikai áramkörök M 3.7
Az
A, B, C, . . . bet¶k jelöljenek kétpólusú kapcsolókat.
az el®bbi kapcsolókhoz rendelt logikai változók a következ® változó értéke igaz, ha az
A
a, b, c, . . . rendre megállapodással: az a logikai Legyenek
kapcsoló be van kapcsolva, azaz képes az áram vezetésére, és
hamis, ha nincs bekapcsolva, azaz nem képes az áram vezetésére. Az
A
kapcsolót a hozzá
tartozó logikai értékkel a következ® módon jelöljük:
Hasonlóan deniáljuk a
b, c, . . .
logikai változókat is.
Az
a, ¬a, b, ¬b, c, ¬c, . . .
jel¶ kapc-
solókból soros és párhuzamos kapcsolással összekapcsolt áramkört logikai, vagy kapcsoló áramkörnek nevezzük. Ha több kapcsoló is egy
a
és egy
¬a
akkor tartozik az
a
jel¶, akkor ezek mindig azonos állásúak, míg
jel¶ mindig ellenkez® állású.
A, B, C, . . .
Az
a, b, c, . . .
változókat tartalmazó itélet
kapcsolókból álló áramkörhöz, ha az itélet pontosan akkor
igaz, amikor az áramkör vezeti az áramot.
Feladatok • Milyen logikai ítélet felel meg az
91.
A
és
B
kapcsolók soros illetve párhuzamos
kapcsolásával kapott áramköröknek?
Az alábbi logikai kifejezésekhez milyen áramkörök tartoznak: 92. 94.
a ⇒ b, a ∧ b ∧ c ∧ ¬(a ∧ b),
93. 95.
a ⇔ b, [(a ⇒ b) ∧ (b ⇒ c)] ⇒ (a ⇒ c).
Írjuk fel az alábbi két kapcsoló áramkörhöz tartozó logikai kifejezéseket, hozzuk egyszer¶bb alakra, és ennek alapján rajzoljuk fel az eredetivel ekvivalens, de egyszer¶bb kapcsoló áramkört: 96.
98.
97.
Készítsünk kapcsoló áramkört egy négyszemélyes szavazógépre, mely a többség dönt" elvét követi, azaz vezeti az áramot, ha legalább három kapcsoló be 3-6
3.
Matematikai logika Logikai áramkörök van kapcsolva, döntetlen esetén pedig egy kitüntetett (elnöki) kapcsoló állásának megfelel®en m¶ködik.
3-7