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

#1 02. 05. 2012 22:20

tascoa
Příspěvky: 46
Reputace:   
 

Predikatova logika / hledani modelu

Dobry vecer.

Muzete mi nekdo pomoci s nasledujicim prikladem:

Uvedte nejaky model pro nasledujici formuly PL

$\exists x [ P(x) \equiv  \sim Q(a,x) ]$

pred Q(a,x) je negace.

Diky za pomoc.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson