14. 12. 2021

Kontrola správnosti úsudku

Známe pravdivostní hodnotu jednoho nebo více výroků $\rightarrow$ předpoklady

Přisuzujeme pravdivostní hodnotu dalším výrokům $\rightarrow$ závěr

Např.:

X \implies Y \\~\\~ \neg X \\~ \rule[0.1 cm] 2cm 0cm \\~ \neg Y

$X$	$Y$	$X \implies Y$	$\neg X$	$\neg Y$
$1$	$1$	$1$	$0$	$0$
$1$	$0$	$0$	$0$	$1 \space \bullet$
$\bullet \space 0$	$1$	$1$	$1$	$0$
$\bullet \space 0$	$0$	$1$	$1$	$1 \space \bullet$

$\Rightarrow$ Úsudek je nesprávný

X \implies Y \\~\\~ \neg Y \\~ \rule[0.1 cm] 2cm 0cm \\~ \neg X

$X$	$Y$	$X \implies Y$	$\neg Y$	$\neg X$
$1$	$1$	$1$	$0$	$0$
$1$	$0$	$0$	$1$	$0$
$0$	$1$	$1$	$0$	$1 \space \bullet$
$\bullet \space 0$	$0$	$1$	$1$	$1 \space \bullet$

$\Rightarrow$ Úsudek je správný

Existuje-li v tabulce řádek, kde jsou splněny předpoklady a není splněn závěr úsudku, je úsudek nesprávný.

Je-li na každém řádku tabulky, kde jsou splněny předpoklady, splněn závěr úsudku, je úsudek správný.