Van itt ez az állítás: "Minden mamut sárga."
Válasszuk ki innen azokat, amik az állítás tagadása:
Egyik mamut sem sárga.
Van olyan mamut, ami sárga.
Van olyan mamut, ami nem sárga.
A legtöbb mamut nem sárga.
Nem minden mamut sárga.
Dontsük el az alábbi állításokról, hogy igazak, vagy hamisak.
a) Esik az eső és a mamut piros.
b) Esik az eső vagy a mamut piros.
c) Ha esik az eső, akkor a mamut piros.
Készítsük el az alábbi állítások igazságtábláit.
a) \( \neg A \wedge \neg B \)
b) \( A \wedge \neg B \)
c) \( \left( A \lor B \right) \Rightarrow \left( A \wedge B \right) \)
d) \( \neg A \Rightarrow \left( A \wedge B \right) \)
e) \( \neg A \wedge \left( A \lor B \right) \)
a) Van itt két láda. Az egyikben arany van, a másik üres, a ládákon lévő feliratok pedig lehetnek igazak vagy hamisak is. Anélkül, hogy hozzárénénk a ládákhoz, meg tudjuk-e mondani, hogy melyikben van az arany?
A ládák feliratai: "Ha a másik ládában van az arany, akkor mindkét ládában hamis felirat van." és "Az arany nem ebben a ládában van."
b) Ezúttal már három láda van. Az egyikben arany van, a másik kettő üres, a ládákon lévő feliratok pedig lehetnek igazak vagy hamisak is.
A ládák feliratai:
"A másodikon ládán a felirat igaz."
"Az arany ebben a ládában van és az első ládán a felirat hamis."
"Az arany olyan ládában van, amin a felirat hamis."
c) Most pedig tegyünk egy kört a lovagok és lókötők szigetén. Ezen a szigeten kétféle ember él, akik külsejük alapján teljesen egyformák. Csak éppen a lovagok mindig igazat mondanak, a lókötők pedig mindig hazudnak. Találkozunk két szigetlakóval.
X azt mondja: "Ha Y lovag, akkor én lókötő vagyok.". Y nem mond semmit. Milyen típusú X és Y?
d) Egy másik alkalommal három szigetlakóval találkozunk, akik ezt mondják:
X: "Y lókötő és Z lovag."
Y: "Lókötő vagyok és Z lovag."
Milyen típusú X, Y és Z?
e) Végü legy újabb esetben ismét három szigetlakóval találkozunk, akik ezt mondják:
X: Y lovag.
Y: X lókötő és Z lovag.
Milyen típusú X, Y és Z?
Tagadjuk a következő állítást:
"Az áldozat a szobában van, és ha nem találják meg, akkor holnap is ott lesz."
Mi a teljes diszjunktív normálformája?
a) \( A \Rightarrow \left( B \wedge C \right) \)
b) \( \left( A \Leftrightarrow B \right) \wedge \neg A \)
c) \( \left( A \Rightarrow B \right) \wedge \left( A \vee B \right) \)
