1 - Tabela verdade

A tabela verdade é uma tabela, como próprio nome diz, por meio da qual são analisados os valores lógicos de proposições, permitindo uma melhor organização e detalhamento, importantes principalmente quando a proposição composta é uma sentença declarativa extensa.

Além disso, não são todas as sentenças declarativas que possuem um valor lógico conhecido por todos nós, como foram os casos dos exemplos usados anteriormente, quando vimos as regras das operações lógicas, tais como “A terra é redonda”, “O sol é quente”, “O inventor Santos Dumont nasceu no Brasil” e “Rio de Janeiro é a capital do Brasil”.

Por exemplo, poderíamos ter a seguinte sentença:

Dalva é estudante e Marvin é casado.

De qual Dalva estamos falando? Quem é Marvin? Ora, como são personalidades desconhecidas, diferentemente do inventor Santos Dumont, não é possível atribuir às declarações um único valor lógico. Resumindo:

Sendo:
p: O inventor Santos Dumont nasceu no Brasil.
Então,
V(p) = V

No entanto, sendo:
p: Dalva é estudante.
q: Marvin é casado.
Então,
V(p) e V(q) não são conhecidos.