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 11:03

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

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

Davisek
Příspěvky: 49
Reputace:   
 

Re: Matematicka logika. Predikatova logika. Splnitelnost formule.

↑ Vaclav1999: Zkus napsat, ze $<$ je linearni usporadani, ktere nema nejvetsi prvek (nebo nejmensi prvek).

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson