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
- Hlavní strana
- » Vysoká škola: úvod do studia
- » Matematicka logika. Predikatova logika. Semanticka ekvivalentnost.
#1 01. 09. 2019 10:57
- Vaclav1999
- Zelenáč
- Příspěvky: 3
- Pozice: student
- Reputace: 0
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)
Re: Matematicka logika. Predikatova logika. Semanticka ekvivalentnost.
↑ Vaclav1999: A zkousel jsi najit model pro 
nebo 
? Pokud najdes tak zkus jestli je i modelem druhe sentence.
Offline
Stránky: 1
- Hlavní strana
- » Vysoká škola: úvod do studia
- » Matematicka logika. Predikatova logika. Semanticka ekvivalentnost.