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 01. 06. 2011 13:01

jolly
Příspěvky: 29
Reputace:   0 
 

predikatova logika

Ahoj,

mam formuli
$(\forall x\exists yP(x,y)) =>(\exists y\forall x P(x,y))$
Potrebujem najst nejaky model k tejto formuli. Je zadana formule tautologie?

Dik :)

Offline

 

#2 18. 06. 2011 14:39

Wotton
Logik
Místo: Plzeň
Příspěvky: 826
Reputace:   25 
 

Re: predikatova logika

Model je například takový:
Universum je jednoprvkové a relace P je prázdná.



Tautologie to není.

Dva jsou tisíckrát jeden.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson