12.+13.

hét: gyakorlati anyag

Kijelentéslogika I.
Új fogalmak: kijelentés, logikai érték, logikai műveletek:negáció, konjunkció, diszjunkció, implikáció, ekvi-
valencia; tétel kontrapozíciója, megfordítása,tagadása.
1. Tagadja az alábbi kijelentéseket, és a tagadást fogalmazza meg többféleképpen.
a) Kati iskolába megy.
b) Minden főiskolai hallgató szorgalmas.
c) Van páros prímszám.
d) A 9 nem páros és nem osztható 3-mal.
e) A 21 páros vagy osztható 2-vel.
f) Minden asszony életében van egy olyan pillanat, amikor olyat tesz, amit nem szabad. (Fogalmazza meg
a tagadást úgy, hogy ne szerepeljenek a mondatban a nem és a nincs szavak.)
2. Formalizálja az alábbi kijelentéseket a kijelentéslogikában.
a) Hideg van és esik az eső.
b) Süt a nap, de nem fúj a szél.
c) Ha melegem van és éhes vagyok, nem tudok dolgozni.
d) Ha Marci időben felébred és eléri a vonatot, akkor boldog lesz, de ha nem ébred fel időben, akkor nem
lesz boldog.
e) Busszal vagy gyalog megyek vagy se nem busszal, se nem gyalog.
f) Ha holnap jó idő lesz, akkor — ha lesz kedvetek hozzá — elmegyünk sétálni.
g) Egy egészekből álló kéttagú összeg pontosan akkor páratlan, ha a tagok közül pontosan az egyik párat-
lan.
h) Tavasszal, cseresznyefavirágzáskor a japánok a fák alatt piknikeznek.
i) A füge akkor terem meg Magyarországon, ha a hőmérséklet meghaladja a 30◦ -ot és szárazság van.
j) Juli mindig tud aludni, kivéve akkor, ha a margitszigeti színpadon operát játszanak.
k) Valahányszor piros a lámpa, megállok, egyébként nem.
3. Adja meg az alábbi kijelentések tagadását, kontrapozícióját, megfordítását!
a) Ha melegem van és éhes vagyok, nem tudok dolgozni.
b) Ha készülök a vizsgára és jó idő van, akkor átmegyek a vizsgán.
c) Ha van repülőjegyem és felkelek reggel legkésőbb 7 órakor, akkor elutazom Japánba.

Kijelentéslogika II.
Új fogalmak: Formula,egyenértékű formulák, tautológia, kontradikció, diszjunktív normálforma,
1. Egyenértékűek-e az alábbi formulák?
a) (¬p ∧ q) ∨ (p ↔ q) p→q
b) ¬(p → (q ∧ r)) (p → q) → (p → ¬r)
2. Állapítsa meg Quine-algoritmus segítségével, hogy az alábbi formulák közül melyik tautológia, kielégíthető,
illetve kontradikció.
a) ((p ∨ q ∨ r) ∧ ¬q ∧ ¬r) → p
b) (¬(p ↔ r) ∧ q) → (p ∨ q)
c) Adjon meg

az alábbi


logikai formulával

egyenértékű diszjunktív normálformát
p∧q ∨ r→p ↔ p→q