Tabelas-verdade

Tabela-verdade é o conjunto de todas as possibilidades combinadas entre os valores de diversas variáveis lógicas, as quais se encontram em apenas duas situações (V ou F), e um conjunto de operadores lógicos.

Exemplo 1:

• Se chover e relampejar, eu fico em casa. Quando eu fico em casa?

Observamos na tabela-verdade do conectivo usado anteriormente (e) que a proposição só será verificada (ou seja, "eu fico em casa") quando os termos chover e relampejar forem simultaneamente verdade.

Exemplo 2:

• Se chover ou relampejar eu fico em casa. Quando eu fico em casa?

Percebemos que, com o operando lógico (ou), as possibilidades de "eu fico em casa" se tornam maiores, pois, pela tabela-verdade, a proposição será verdadeira em três situações: somente chovendo, somente relampejando, chovendo e relampejando.

Exemplo 3:

• 2 < 5 e 15/3 = 5
• V e 5 = 5
• V e V
• V

Exemplo 4:

• 2 < 5 ou 15/3 = 5
• V ou V
• V

Exemplo 5:

• F ou 20 div(18/3) <> (21/3) div 2
• F ou 20 div 6 <> 7 div 2
• F ou 3 <> 3
• F ou F
• F

Exemplo 6:

• não V ou pot(3,2)/3 < 15 - 25 mod 7
• não F ou 9/3 < 15 - 0
• não F ou 3 < 15
• não V ou V
• F ou V
• V

obs: div = quociente da divisão

mod = resto da divisão

pot = potenciação

<> = diferente de