La tavola di verità elenca tutte le combinazioni possibili dei valori di verità delle proposizioni di partenza e, per ciascuna, il valore del connettivo. Con due proposizioni e i casi da esaminare sono quattro.
Proprietà — Tavola di verità dei connettivi
p & q & \lnot p & p\land q & p\lor q & p\Rightarrow q & p\Leftrightarrow q \\ \hline V & V & F & V & V & V & V \\ V & F & F & F & V & F & F \\ F & V & V & F & V & V & F \\ F & F & V & F & F & V & V \end{array}$$
Osserviamo le regole essenziali: la congiunzione è vera solo quando lo sono entrambe; la disgiunzione è falsa solo quando lo sono entrambe; la doppia implicazione è vera quando e hanno lo stesso valore di verità.
Collegamenti
Argomenti: Teoria degli insiemi
Concetti: Connettivi logici · Tavola di verita
Competenze: Ragionare per casi