Para quem deseja conhecer ou estudar a tabela verdade do raciocínio lógico completa, confira o artigo adiante:

A tabela verdade possui os seguintes conectivos: e, ou, se…então, se e somente se, ou ou e a negação. O “e” é uma conjunção; o “ou” é uma disjunção; o “se…então” é uma condicional; o “ se e somente se” é uma bicondicional; o “ou ou” é uma disjunção exclusiva e o “não” é uma negação.

As proposições são representadas pelas letras “p” e “q” e podem ser substituídas por outras quaisquer letras do alfabeto.

 

 

Para entender como utilizar a tabela verdade seguem abaixo alguns exemplos:

Se as proposições “se P então Q” tiverem os valores lógicos falso e verdadeiro sua conclusão será verdadeira.

P Q P ʌ Q e P v Q ou P → Q se…então P ↔ Q 

se e somente se

P v Q  ou ou ~ P
  V   V   V   V   V   V   F   F
  V   F   F   V   F   F   V   F
  F   V   F   V   V   F   V   V
  F   F   F   F   V   V   F   V

 

Se as proposições “P e Q” tiverem os valores lógicos verdadeiro e verdadeiro sua conclusão será verdadeira.

A negativa de “P” verdadeiro é “P” falso e a negativa de “P” falso é “P” verdadeiro.

Se as proposições “P ou Q” tiverem os valores lógicos falso e falso sua conclusão será falsa.