Příklady výroková logika Matematika – 2.cvičení Příklady výroková logika
¬(¬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)
Řešení Formule Není formule, chybí pár závorek Není formule, ⇐ není logická spojka
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)
Řešení Splnitelná formule, která není tautologie Kontradikce