Matematické Fórum

jinsun · 09. 02. 2020 12:45 — Editoval jinsun (09. 02. 2020 12:47)

Mohl by mi prosím někdo zdatný v oboru zkontrolovat, které řešení je správné, mám tyto tři, ale nevím zda je to ok, či nikoliv.

Tvrzení: Žádný lidovec netoleruje žádného komunistu.

$L(x) .... lidovec$
$K(x) .... komunista$
$T(x,y) .... x \space toleruje \space y$

1. možné řešení
$\forall (x) L(x) \Rightarrow (\forall (y)K(y) \wedge T(y,x))$
2. možné řešení
$\neg\exists (x) (L(x) \wedge \forall ((y)K(y) \Rightarrow T(x,y)))$
3. možne reseni
$\forall (x)(L(x) \Rightarrow \neg(\forall (y)K(y) \Rightarrow T(x,y)))$

Matematické Fórum

#1 09. 02. 2020 12:45 — Editoval jinsun (09. 02. 2020 12:47)

Predikátová logika - kontrola řešení

Zápatí