Matematické Fórum

Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.

Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.

Nejste přihlášen(a). Přihlásit

Stránky: 1

 

#1 29. 08. 2014 23:08

Mnauik
Zelenáč
Příspěvky: 8
Škola: FEL ČVUT
Pozice: student
Reputace:   2 
 

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

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: |=

Offline

 

#2 30. 08. 2014 18:56

Eratosthenes
Příspěvky: 3111
Reputace:   140 
 

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

ahoj ↑ Mnauik:,

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

Budoucnost patří aluminiu.

Offline

 

#3 30. 08. 2014 23:29

Xellos
Příspěvky: 524
Škola: MFF CUNI, Bc. (13-16)
Reputace:   36 
 

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

↑ Eratosthenes:

Hej, aj podla mna.



Otazka teda znie: cas na CVUT vtipy?

Offline

 

#4 01. 09. 2014 00:54

Mnauik
Zelenáč
Příspěvky: 8
Škola: FEL ČVUT
Pozice: student
Reputace:   2 
 

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

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)$

Offline

 

#5 01. 09. 2014 00:57

Xellos
Příspěvky: 524
Škola: MFF CUNI, Bc. (13-16)
Reputace:   36 
 

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

↑ Mnauik:

A prave tieto podla mna neplatia.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson