TABELA-VERDADE Para construirmos uma Tabela-Verdade, partindo de um certo nmero de proposies, deveremos considerar os seguintes aspectos: I. II. III.

o nmero de proposies; o nmero de linhas da tabela-verdade; a variao dos valores lgicos.

Para o caso de uma nica proposio, teremos somente duas linhas, cujos valores lgicos V e F, sero colocados em uma nica coluna. Para o caso de duas proposies, teremos quatro linhas, cujos valores lgicos sero VVFF para a primeira coluna e VFVF para a segunda coluna, respectivamente. Notamos ento que: a) O nmero de colunas sempre igual ao nmero de proposies; b) O nmero de linhas ser sempre dado por 2n, onde n o nmero de proposies utilizadas; c) A distribuio dos valores lgicos nas colunas, obedecer sempre a ordenao das potncias de base 2 (dois), crescentes da direita para a esquerda.

TAUTOLOGIAS Define-se como tautologia, todas as proposies compostas cuja ltima coluna de sua tabela-verdade encerra somente com valores lgicos verdadeiros (V). As tautologias tambm so denominadas proposies tautolgicas ou proposies logicamente verdadeiras. p V F p V F CONTRADIES Chama-se contradies, toda a proposio composta cuja ltima coluna de sua tabela-verdade termina somente com valores lgicos falsos (F). As contradies so tambm denominadas proposies contra vlidas ou proposies logicamente falsas. Vale ressaltar que, se uma tautologia sempre verdadeira, a negao de uma tautologia ser sempre uma contradio. p V F p' F V p * p' F F p' F V p' F V p * p' F F p + p' V V (p * p')' V V

CONTINGNCIA Chama-se contingncia toda a proposio composta em cuja ltima coluna de sua tabela-verdade figurem os valores lgicos V e F, cada um pelo menos uma vez. Em outros termos, contingncia toda proposio composta que no tautologia e nem contradio. As contingncias so tambm chamadas de proposies contingentes ou proposies indeterminadas. p V V Exerccios 1) Construir as tabelas-verdades das proposies seguintes: a) (p -> q) b) p * q -> p+q c) p -> (q -> p) d) (p -> q) -> p * q e) p <-> q * p f) (p <-> q) -> q + p g) (p <-> q) -> p + q h) p * r -> q + r p -> r <-> q + r i) j) p -> (p -> r) <-> q +r k) (p + q -> r) + (p <-> q + r) q F V p*q F V