Matematické Fórum


1. 8. 2026 (L) Fórum bude brzy uzavřeno 😿

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