Tabelas de verdade para cálculo proposicional

Prévia do material em texto

Negação
 A negação inverte o valor de verdade da proposição.
Conjunção
 A conjunção só é verdadeira se as proposições que a compõem 
forem ambas verdadeiras.
P Q (P Ʌ Q)
V V V
V F F
F V F
F F F
Disjunção inclusiva
 A disjunção inclusiva só é falsa se as proposições que a compõem 
forem ambas falsas.
P Q (P V Q)
V V V
V F V
F V V
F F F
Disjunção exclusiva
 A disjunção exclusiva só é verdadeira se as proposições que a 
compõem tiverem valores de verdade inversos, isto é, se uma for 
verdadeira e a outra falsa.
P Q (P V Q)
V V F
V F V
F V V
F F F
Condicional
 A condicional só é falsa se a antecedente for verdadeira e a 
consequente for falsa.
P Q (P → Q)
V V V
V F F
F V V
F F V
Bicondicional
 A bicondicional só é verdadeira se as duas proposições que a 
compõem tiverem o mesmo valor de verdade.
P Q (P ↔ Q)
V V V
V F F
F V F
F F V