Em certos momentos
temos proposições
compostas, os valores
lógicos resultantes
dependem única e
exclusivamente dos
valores de cada
proposição simples.
Diante disso, utilizamos
um dispositivo chamado
tabela verdade ou tabela
de verdade, onde são
colocados os valores de
cada proposição e de
acordo com os conectivos
presentes chegamos ao
valor lógico final. De
acordo com essas
afirmações as tabelas são
formadas por:
Somente por colunas.
Apenas por linhas.