Si è introdotta la sintassi della logica proposizionale, definendo i concetti di formula ben formata e di sottoformula. Si è provato il principio di induzione strutturale. Si sono poi introdotte nozioni di semantica quali interpretazione, modello, soddisfacibilità, conseguenza semantica ed equivalenza semantica, vedendone alcune proprietà (tra cui il principio di deduzione semantica).

Si sono infine svolti esercizi di riepilogo sulle conoscenze algebriche finora acquisite.