Stáhnout prezentaci
Prezentace se nahrává, počkejte prosím
1
Příklady výroková logika
Matematika – 2.cvičení Příklady výroková logika
2
¬(¬x ⇒ ¬¬y) x (¬x ∨ y)⇒z (x⇒y) ∧ y ⇔ x ((¬(x ∧ y) ∨ z) ⇒ u) ⇔ v
Rozhodněte, zda následující posloupnosti symbolů jsou výro- kové formule. ¬(¬x ⇒ ¬¬y) x (¬x ∨ y)⇒z (x⇒y) ∧ y ⇔ x ((¬(x ∧ y) ∨ z) ⇒ u) ⇔ v (x ⇐ y)
3
Řešení Formule Není formule, chybí pár závorek
Není formule, ⇐ není logická spojka
4
Zjistěte, zda jsou dané formule tautologie, kontradikce nebo splnitelné formule:
(x⇒y) ⇒ (x∨y) ((x⇒y) ⇒ (¬x&y)) ∨ ¬y ((x&y) ∨ (¬x&¬y)) ⇔ ((¬x ∨ ¬y) & (x∨y)) (x⇒ (x⇒y)) ⇒y ((x⇒z) & (y⇒z)) ⇒ ((x & y) ⇒ z) ((x⇒z) ∨ (y⇒z)) ⇒ (x⇒y)
5
Řešení Splnitelná formule, která není tautologie Kontradikce
Podobné prezentace
