Matematické Fórum

Sirrek · 23. 04. 2013 20:48

Dobrý den,

poprosil bych zaprvé o zkontrolování těchto formalizací, zdali jsou správně vytvořeny.

a) Psi, kteří štěkají nekoušou.
$\forall x((Px\wedge Sx)\Rightarrow negace Kx)$
b) Všichni lidé, kteří se něčeho bojí jsou zbabělci.
$\forall x((Cx\wedge \exists yBxy)\Rightarrow Zx)$
c) Každý člověk má někoho rád.
$\forall(Cx\Rightarrow \exists y(Cy\wedge Rxy))$

Dále bych poprosil o nastínění, či řešení tohoto typu úkolu, nevím, jak se ho zhostit.

Děkuji, za Váš čas.

JohnPeca18 · 23. 04. 2013 22:07

1. To zni rozumne, i kdyz nevim co se od vas ocakava.
2 no podla mna potrebujes zapisat tie vlastnosti podla toho kolko bodov je v prieniku priamok $a$ a $b$ . Pre a) by som skusil zapsat, ze existuje bod z roviny ktory patri obom priamkam. A zaroven existuje bod roviny, ktory patri prave jednej priamke, aby sme odlisili od pripadu c)
ostatne pripady podobne rozebrat, kolik bodu lezi v pruniku obou primek.

Matematické Fórum

#1 23. 04. 2013 20:48

Predikátová logika

#2 23. 04. 2013 22:07

Re: Predikátová logika

Zápatí