Lezione n. 17 - 22 novembre 2016 // Logica del primo ordine

In questa lezione ho  mostrato esempi di proposizioni del primo ordine e di proposizioni che non sono del primo ordine, ed esempi di formule.

Ho poi esposto la nozione di modello e di contromodello di una formula del primo ordine,.

Ho quindi spiegato - in riferimento alle formule del primo ordine - le nozioni di : "verità logica", "soddisfacibile", "falsità logica", "falsificabile".

Infine, ho ripreso - in riferimento a queste nozioni- 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").

Ecco le foto della lavagna durante questa lezione:

Foto 1

Foto 2

Foto 3

Foto 4

Foto 5

Foto 6

Foto 7

Foto 8

Foto 9