Matematické Fórum

Johny5 · 07. 12. 2016 19:45 — Editoval Johny5 (07. 12. 2016 19:48)

Zdravim, mam dva priklady, kterym nerozumim.

1) Cetl jsem prave jednu knihu

$(\exists x) (c(x) \wedge (\forall y) (c(y) => y=x) )$

2) Cetl jsem nejvyse jednu knihu

$(\forall x) (\forall y) ( (c(x) \wedge c(y) ) => x=y )$

Mohl by mi to nekdo prosim osvetlit?

u toho prvniho : Existuje alespon jedna kniha, kterou jsem cetl a zaroven pokud jsem cetl vsechny y knihy tak kniha x je stejna jako kniha y ...

druhy : Pro vsechny knihy x a pro vsechny knihy y plati ze pokud jsem cetl vsechny knihy x a vsecny knihy y tak kniha x je stejna jako kniha y.

Jsem z toho zmaten :)

misaH · 07. 12. 2016 21:47

No.

Rozdiel medzi práve 1 a najviac jeden je v tom, že v druhom prípade je zahrnutá aj možnosť žiaden.

Podľa mňa:

1. Čítam knihu a pre všetky iné knihy, ktoré by som čítala platí, že sú rovnaké ako tá moja.

2. Pre všetky knihy platí, že pokiaľ ich čítam, potom sú rovnaké.

Ale sama by som ten zápis nevymyslela a možno ani ne uvažujem správne...

Matematické Fórum

#1 07. 12. 2016 19:45 — Editoval Johny5 (07. 12. 2016 19:48)

Predikatova logika - prave jeden, nejvyse jeden

#2 07. 12. 2016 21:47

Re: Predikatova logika - prave jeden, nejvyse jeden

Zápatí