Tabelas

Negação
A
~A
V
F
F
V
A negação da proposição "A" é a proposição "~A", de maneira que se "A" é verdade então "~A" é falsa, e vice-versa.
Conjunção (E)
A conjunção é verdadeira se e somente se os operandos são verdadeiros.
A
B
A^B
V
V
V
V
F
F
F
V
F
F
F
F
Disjunção (OU]
A disjunção é falsa se, e somente se ambos os operandos forem falsos.
A
B
AvB
V
V
V
V
F
V
F
V
V
F
F
F

Condicional (se... então) [implicação
A conjunção é falsa se, e somente se, o primeiro operando é verdadeiro e o segundo operando é falso.
A
B
A→B
V
V
V
V
F
F
F
V
V
F
F
V

Bicondicional (se e somente se) [equivalência][editar | editar código-fonte]
A conjunção é verdadeira se, e somente se, ambos operandos forem falsos ou ambos verdadeiros.
A
B
A↔B
V
V
V
V
F
F
F
V
F
F
F
V
Disjunção exclusiva (OU EXCLUSIVO... ou XOR)[editar | editar código-fonte]
A conjunção é verdadeira se, e somente se, apenas um dos operandos for verdadeiro.
A
B
A∨B
V
V
F
V
F
V
F
V
V
F
F
F
Adaga de Quine (NOR)[editar | editar código-fonte]
A conjunção é verdadeira se e somente se os operandos são falsos.
A
B
A∨B
A↓B
V
V
V
F
V
F
V
F
F
V
V
F
F
F
F
V
Como usar tabelas para verificar a validade de argumentos[editar | editar código-fonte]
Verifique se a conclusão nunca é falsa quando as premissas são verdadeiros. Em caso positivo, o argumento é válido. Em caso negativo, é inválido.
Alguns argumentos válidos[editar | editar código-fonte]
Modus ponens

A
B
A→B
V
V
V
V
F
F
F
V
V
F
F
V
Modus tollens

A
B
¬A
¬B
A→B
V
V
F
F
V
V
F
F
V
F
F
V
V
F
V
F
F
V
V
V
Silogismo hipotético

A
B
C
A→B
B→C
A→C
V
V
V
V
V
V
V
V
F
V
F
F
V
F
V
F
V
V
V
F
F
F
V
F
F
V
V
V
V
V
F
V
F
V
F
V
F
F
V
V
V
V
F
F
F
V
V
V
Algumas falácias[editar | editar código-fonte]
Afirmação do consequente
Se A, então B. (A→B)
B.
Logo, A.
A
B
A→B
V
V
V
V
F
F
F