Logica aiutooooooooooooooooooooooo
chi mi spiega il lemma di lindenbaum relativo alle teorie del primo ordine vi prego nn lo capisco proprio!!!!! 
Risposte
cos è che nn capisci???
come dimostro che presa una teorie j del primo ordine questa è estensione completa consistente????????il prof ci tiene molto....ti prego aiutami
no ma il lemma nn dice proprio questo...
e me lo spieghi in poche parole cosa dice???
il lemma di che un insieme di formule chiuse non contraddittorio può essere esteso ad un insieme non contraddittorio massimale.
io ce l'ho cosi
sia K una teoria del primo ordine consistente allora esisterà K' estensione di K completa e consistente e quindi mi dimostra prima che esiste questa estensione e poi che è completa e consistente ma io nn ho capito come si dimostra che è completa e consistente tutto qui...
sia K una teoria del primo ordine consistente allora esisterà K' estensione di K completa e consistente e quindi mi dimostra prima che esiste questa estensione e poi che è completa e consistente ma io nn ho capito come si dimostra che è completa e consistente tutto qui...
cosa intendi x completa???
se questa teoria ha una formula può essere dimostrata com e teorema se e solo se nn è dimostrata la sua negazione
prima si costruisce l'estensione definita ricorsivamente e poi si fa vedere che è completa cioè non contraddittoria e poi si vede che è massimale arrivando ad un assurdo se si suppone la sua non massimalità.
Accedi a tutti gli appunti
Tutor AI: studia meglio e in meno tempo