Aula 9 - Lógica proposicional

A lógica proposicional utiliza valores no formato de nomes e preposições para indicar determinadas condições.

• Nesse caso o valor 0 nomeia-se como F(Falso), o valor 1 nomeia-se como V (Verdade)
• Utilizamos também o simbolo → para indicar uma proposição condicional onde Se P então Q.
• Utilizamos também o simbolo ↔ para indicar uma proposição bicondicional onde P se e somente se Q.

Devemos então criar uma tabela verdade como a abaixo

1. Na coluna P → Q os valores serão verdadeiros nas seguintes condições:

• Quando o valor da ultima variavel for verdadeiro
• Quando ambas forem verdadeiras
• Quando ambas forem falsas.

2. Na coluna P ↔ Q os valores serão verdadeiros nas seguintes condições:

• Quando o valor das variáveis forem verdadeiros.
• Quando o valor das variáveis forem falsos.

3. Através do resultado final podemos definir o seguinte:

• Se todos os resultados forem Verdadeiros, temos uma tautologia.
• Se todos os resultados forem Falsos, temos uma contradição