In semantica delle formule predicative, si sono introdotte le nozioni di modello, di soddisfacibilità, verità e falsità in una struttura, di soddisfacibilità e validità; si sono inoltre definiti il concetto di conseguenza semantica e quello di equivalenza semantica.

Si sono infine svolti esercizi di riepilogo sulle nozioni di logica proposizionale e di logica dei predicati finora presentate.