-
co je to tabulková metoda?
metoda, pomocí které lze demonstrovat průběh pravdivostních hodnot, tj. sémantiku formule při všech možných valucích
- postup
- spočítáme všechny výrokové spojky užité ve formuli; jejich počet je nějaké číslo n
- připravíme si 2n řádků
- ohodnotíme atomické formule tak, abychom získali všechna kombinatoricky možná ohodnocení členů této skupiny formulí
- vyhodnotíme všechny (pod)formule odspodu od nejjednodušších
-
je formule tautologií?
(p ∧ ¬ p)
-
je formule tautologií?
(¬ q → ¬ p) → (p → q)
-
je formule tautologií?
(p ↓ q) ↔ ¬ (p ∨ q)
-
Tabulkovou metodou určete, zda je splnitelná množina formulí
{(p → r),(q → r),(p ∨ q)}.
-
Tabulkovou metodou určete, zda je splnitelná následující množina výroků.
Právě tehdy, když neprospěji u zkoušky, budu muset
o prázdninách studovat
Prospěji u zkoušky
Není pravda, že u zkoušky neprospěji nebo budu muset o prázdninách studovat.
-
Funkčně úplná množina výrokových spojek je...
množina výrokových spojek, jež umožňuje odvození zbývajících výrokových spojek
-
podle ... lze v jazyce, jenž disponuje funkčně úplnou množinou výrokových spojek, reprezentovat všechny výrokové funkce
- Věty o reprezentaci
-
Příklad: odvození → pomocí ¬ a ∨
-
S pomocí ↑ odvoďte známou pětici výrokových spojek
{¬, ∧, ∨, →, ↔}.
|
|
