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
!! 17.06.2018 (Jel.) Khanova škola zve nadšence ke spolupráci na překladech návodů pro učitele a rodiče.
! 04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
17.01.2016 (Jel.) Rok 2016 s novými a novějšími krystaly od kolegy Pavla!
17.01.2016 (Jel.) Nabídka knih z oborů matematiky, fyziky, chemie
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 01. 09. 2019 10:57

Vaclav1999
Zelenáč
Příspěvky: 3
Pozice: student
Reputace:   
 

Matematicka logika. Predikatova logika. Semanticka ekvivalentnost.

Ví někdo jak na to?

Uvažujte sentence α = ∀x∃y∀zT(x,y,z) a β = ∀z∃y∀xT(x,y,z) (v jazyce s jediným ternárním predikátovým symbolem T a s proměnnými x,y,z). Ukažte, že tyto sentence nejsou sémanticky ekvivalentní tak, že najdete model jedné z těchto sentencí, který není modelem zbývající sentence.

Offline

 

#2 01. 09. 2019 13:02 — Editoval Davisek (01. 09. 2019 13:09)

Davisek
Příspěvky: 49
Reputace:   
 

Re: Matematicka logika. Predikatova logika. Semanticka ekvivalentnost.

↑ Vaclav1999: A zkousel jsi najit model pro $\alpha$ nebo $\beta$? Pokud najdes tak zkus jestli je i modelem druhe sentence.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson