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 11. 02. 2011 18:20 — Editoval check_drummer (13. 02. 2011 16:48)

check_drummer
Příspěvky: 4896
Reputace:   105 
 

Striktní konečnost / nekonečnost modelu

V jednom VŠ příspěvku jsem rozvinul dvoj-dotaz. Možná si zaslouží zařadit ho sem:

1) Existuje sentence $\psi$, která má jen nekonečné modely a $\neg\psi$ má jen konečné modely?
A dále:
2) Existuje sentence $\psi$, která má jen nekonečné modely a $\neg\psi$ má jen nekonečné modely?

Ještě pro úplnost:
3) Existuje sentence $\psi$, která má jen konečné modely a $\neg\psi$ má jen konečné modely?


"Máte úhel beta." "No to nemám."

Offline

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

#2 14. 02. 2011 13:34

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

Re: Striktní konečnost / nekonečnost modelu

↑ check_drummer:

Hezký,

ani jedna taková sentence neexistuje.

Důkazy:
Případ 2 a 3.



Případ 1.


Dva jsou tisíckrát jeden.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson