Algoritmo visual g

Tabelas Verdade

Este assunto apresenta uma formulação rigorosa da interpretação pretendida dos operadores da lógica proposicional.

A semântica de uma expressão é o seu significado; e seu significado lógico é a sua contribuição para a verdade ou falsidade de sentenças nas quais ela ocorre.

Caracterizando os significados dos operadores lógicos, desenvolvemos uma visão mais profunda da validade e testes sistemáticos para a invalidade de formas de argumento.

O conceito central na semântica da lógica proposicional é o valor verdade. Os enunciados verdadeiros tem o valor-verdade verdadeiro e os enunciados falsos tem o valor-verdade falso, nenhum enunciado tem mais que um valor-verdade.

A semântica para a lógica proposicional se baseia no princípio da bivalência: a suposição que verdadeiro e falso são os únicos valores-verdade e que em toda a situação possível cada enunciado assume um deles.

A seguir, a semântica de cada operador lógico de acordo com o princípio da bivalência

1) Tabela-verdade da negação

A negação de um enunciado  é verdadeira se  for falso e é falsa se  for verdadeiro.
Utilizando as abreviações V para verdadeiro e F para falso, podemos resumir:


~ 
V
F
F
V

2) Tabela-verdade da Conjunção

Uma conjunção é verdadeira se ambos seus conjuntos forem verdadeiros, senão ela é falsa. Assim, sua tabela é:

 
 & 
V V V
V F F
F V F
F F F

3) Tabela-verdade da Disjunção

Uma disjunção é verdadeira se pelo menos um dos disjuntos for verdadeiro; senão ela é falsa:

 
 v 
V V V
V F V
F V V
F F F

4) Tabela-verdade do Condicional

Um condicional só é falso, quando o seu antecedente for verdadeiro e seu conseqüente for falso, caso contrário, ele é verdadeiro. Então, a tabela-verdade para o condicional é:

 
  
V