EQUIVALENCIAS DA TABELA DA VERDADE E PROPOSIÇÕES
Proposição - é um conjunto de palavras ou símbolos que exprime um pensamento de sentido completo, de modo que se possa atribuir, dentro de certo contexto, somente um de dois valores lógicos possíveis: verdadeiro ou falso.
A lógica matemática se assenta em dois princípios fundamentais:
Princípio da não contradição: Uma proposição não pode ser verdadeira e falsa ao mesmo tempo;
Princípio do terceiro excluído: Toda proposição ou é verdadeira ou falsa, excluindo-se qualquer outro valor.
Somente às sentenças declarativas pode-se atribuir valores de verdadeiro ou falso, que ocorre quando a sentença é confirmada ou negada, respectivamente. Não se pode atribuir um valor de verdadeiro ou falso às demais formas de sentenças como as interrogativas, as exclamativas e outras, embora elas também expressem pensamentos ou juízos.
As proposições classificam-se em simples ou atômicas e compostas ou moleculares.
Proposição simples — É um pensamento singular sem integrar qualquer outra proposição.
Exemplos:
Antônio é estudante.
José é solteiro.
Proposição composta — É formada pela combinação de duas ou mais proposições simples. Exemplos:
Maria é professora e Pedro é mecânico.
Se o carro é novo, então está em boa condição de uso.
As proposições simples são geralmente designadas pelas letras minúsculas p, q, r, s, ... e as compostas pelas letras maiúsculas P, Q, R, S, ...
Conectivos e valores lógicos
Conectivos:
(Termos usados para formar novas proposições a partir de outras existentes.) "e", "ou", "não", "se... então... ", "se e somente se ..."
Valores lógicos das proposições: Verdade (V) e Falsidade (F).
Tabelas verdade
A Tabela verdade é um instrumento usado para determinar os valores lógicos das proposições compostas, a partir de atribuições de todos os possíveis valores lógicos das proposições simples componentes.
A primeira das tabelas abaixo apresenta duas proposições simples: p e q e a segunda, três proposições simples: p, q e r. As