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
! 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 03. 02. 2018 09:47

cetis
Příspěvky: 53
Škola: MFF UK
Pozice: student
Reputace:   
 

Tablo metoda v predikátové logice

Dobrý den,

potřeboval bych poradit, jak dokázat formuli "fi" v teorii T v prikladu 2b niže na obrázku.

http://forum.matematika.cz/upload3/img/2018-02/47000_Screenshot_18.png

Postupoval jsem následovně v obrázku níže:

http://forum.matematika.cz/upload3/img/2018-02/47466_IMG_20180203_093857_HDR.jpg

Bylo mi řečeno, že kanonický model z tabla nesestavím, tak jsem zkusil aplikovat axiomy rovnost, ale moc netuším jak. Není to tak, že by se mi je nikdy nepodařilo použít, ale nevím, jak mám na tuhle ulohu jeden z těch axiomů vhodně použít.

Offline

 

Zápatí

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson