In questa lezione completerò i temi della lezione precedente
e presenterò esempi di proposizioni del
primo ordine, di proposizioni che non
sono del primo ordine, e di formule del primo ordine.
Esporrò poi la nozione di modello e di contromodello di una formula del primo ordine,.
Spiegherò successivamente - in riferimento alle formule del primo ordine - le nozioni di : "verità logica", "soddisfacibile", "falsità logica", "falsificabile".
Infine, - in riferimento a queste nozioni- ripresenterò i teoremi di incompletezza della logica ("ci sono formule del primo ordine la cui chiusura esistenziale è una proposizione logica vera (ossia la formula è soddisfacibile) ma non è dimostrabile logicamente") e e di completezza della logica del primo ordine ("per ogni formula del primo ordine, se la sua chiusura universale è una proposizione logica vera (ossia se la formula è una verità logica) allora è dimostrabile logicamente").
Nessun commento:
Posta un commento