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 13. 12. 2015 18:49

alixer
Příspěvky: 62
Reputace:   1 
 

Splnitelná formule predikátové logiky

Zdravim, mam rozhodnout zda je tato formule platná, splnitelná, nebo kontradikce. K vyřešení mám použít sémantický strom. 

$(\forall x)(\forall y)( r(x,y) \vee  r(y,x))$

Výsledek je, že je to formule splnitelná, bohužel se k tomuto výsledku neumím dopracovat.. Mohl by mi někdo ukázat jak na to ?
Děkuji

Offline

  • (téma jako vyřešené označil(a) alixer)

#2 13. 12. 2015 22:26

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

Re: Splnitelná formule predikátové logiky

Ahoj,

musíš si udělat sémantický strom pro $(\forall x)(\forall y)( r(x,y) \vee  r(y,x))$ i pro $\neg(\forall x)(\forall y)( r(x,y) \vee  r(y,x))$. Pokud ti oba vyjdou splnitelné (což vyjdou), tak je formule splnitelná.
A teď jak na to:

Pro výrokovou logiku jsou nějaké materály zde: Odkaz

pro predikátovou logiku pak doplnění zde nebo zde.

Dva jsou tisíckrát jeden.

Offline

 

 

Stránky: 1

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson