Alcune affermazioni possono essere associate ad un valore di verità che sia univocamente determinato come vero o falso.
La logica si occupa del “calcolo” degli stati di verità di un enunciato composto a partire dagli stati di verità degli enunciati di cui è composto.

Proposizioni ed espressioni logiche
Cos’è una proposizione semplice? Cos’è una proposizione composta?
Quali sono i connettivi logici? Quali sono le regole di calcolo dei diversi connettivi logici?
La tabelle di verità
Cosa sono le tabelle di verità? Come si costruiscono?