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. Splnitelnost formule.
#1 01. 09. 2019 11:03
- Vaclav1999
- Zelenáč
- Příspěvky: 3
- Pozice: student
- Reputace: 0
Matematicka logika. Predikatova logika. Splnitelnost formule.
Ví někdo jak na to?
Popište (ve vhodně zvoleném jazyces rovností) splnitelnou množinuformulí S takovou, že má S pouze modely s nekonečným (nekonečněprvkovým) universem.Pečlivě zdůvodněte, proč nemá S žádný konečný model.
Offline
#2 01. 09. 2019 13:07
Re: Matematicka logika. Predikatova logika. Splnitelnost formule.
↑ Vaclav1999: Zkus napsat, ze 
je linearni usporadani, ktere nema nejvetsi prvek (nebo nejmensi prvek).
Offline
Stránky: 1
- Hlavní strana
- » Vysoká škola: úvod do studia
- » Matematicka logika. Predikatova logika. Splnitelnost formule.