Pravidla odvozování


Úsudek – spojení několika výroků, kdy poslední z nich (závěr) se odvozuje z předcházejících (tzv.
premis)


Pravidla odvozování – formálně správné úsudky.

Např.






     (x)



Pravidla odvozování používáme při odvozování důsledků z daných předpokladů. Za výrokové proměnné
dosazujeme výroky (jednotlivé, složené nebo kvantifikované).

O správnosti těchto úsudku se můžeme přesvědčit pomocí tabulek pravdivostních hodnot příslušných
formulí (musí jít o tautologie)

Pozor na NESPRÁVNÝ úsudek, který se často užívá místo (x):

Přesvědčte se o jeho nesprávnosti, tj.ohodnoťte výrokovou formuli:



Př.

X: Číslo je dělitelné 4.

Y: Číslo je sudé.