8.1.3 Le tavole di verità

A questo punto alle Frasi Ben Fatte, possiamo attribuire un valore di veridicità. In logica i valori possibili sono solamente due, ossia Vero (V) e Falso (F). Una volta stabilito ciò, si può procedere con la redazione delle cosiddette Tavole di Verità. Le Tavole di verità sono delle tabelle logiche che consentono di capire quando una proposizione è conseguenza logica di altre. La tavola di verità completa di un enunciato composto deve avere un numero di colonne pari alla somma tra il numero di proposizioni che formano l'enunciato composto e il numero di connettivi logici in esso presenti.
Nella Tavola di verità che segue, per esempio, A implica B. Nel caso in cui A sia vera e B sia vera, allora A implica B è vera e così via.