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
- » Zajímavé úlohy z logiky
- » Striktní konečnost / nekonečnost modelu (TOTO TÉMA JE VYŘEŠENÉ)
#1 11. 02. 2011 18:20 — Editoval check_drummer (13. 02. 2011 16:48)
- check_drummer
- Příspěvky: 4897
- 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 
, která má jen nekonečné modely a 
má jen konečné modely?
A dále:
2) Existuje sentence , která má jen nekonečné modely a má jen nekonečné modely?
Ještě pro úplnost:
3) Existuje sentence , která má jen konečné modely a 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
Re: Striktní konečnost / nekonečnost modelu
Dva jsou tisíckrát jeden.
Offline
Stránky: 1
- Hlavní strana
- » Zajímavé úlohy z logiky
- » Striktní konečnost / nekonečnost modelu (TOTO TÉMA JE VYŘEŠENÉ)