Matematické Fórum

Mnauik · 29. 08. 2014 23:08

Sémantický důsledek jsem pochopil, ale nemohu přijít na to, proč platí toto:

$\exists x \forall y R(x,y) |= \forall x \exists y$

ale neplatí toto:

$\forall x \exists y |= \exists x \forall y R(x,y)$

pozn. sémantický důsledek značím takto: |=

Eratosthenes · 30. 08. 2014 18:56

ahoj ↑ Mnauik:,

já bych řekl, že neplatí ani jedno.

Xellos · 30. 08. 2014 23:29

↑ Eratosthenes:

Hej, aj podla mna.

Otazka teda znie: cas na CVUT vtipy?

Mnauik · 01. 09. 2014 00:54

sorry, s letaxovým editorem jsem nikdy nepracoval, je to takhle:

první výraz:
$\exists x\forall y \ R(x,y) |= \forall x\exists y \ R(x,y)$

druhý výraz:

$\forall x\exists y \ R(x,y) |= \exists x\forall y \ R(x,y)$

Xellos · 01. 09. 2014 00:57

↑ Mnauik:

A prave tieto podla mna neplatia.

Matematické Fórum

#1 29. 08. 2014 23:08

Predikátová logika - sémantický důsledek

#2 30. 08. 2014 18:56

Re: Predikátová logika - sémantický důsledek

#3 30. 08. 2014 23:29

Re: Predikátová logika - sémantický důsledek

#4 01. 09. 2014 00:54

Re: Predikátová logika - sémantický důsledek

#5 01. 09. 2014 00:57

Re: Predikátová logika - sémantický důsledek

Zápatí