Exemple de taula de veritat: conjunt i fórmula
De Wikisofia
la taula de veritat prova que
és una conseqüència lògica del conjunt), de fórmules
ja que tota interpretació que fa veritable al conjunt ) fa també veritable a la fórmula
la taula de veritat prova que
és una conseqüència lògica del conjunt), de fórmules
ja que tota interpretació que fa veritable al conjunt ) fa també veritable a la fórmula