Tabelas de verdade
Exemplos
Também podes escrever um argumento diretamente: separa premissas com , e usa ∴ antes da conclusão.
Dicionário de Interpretação
Fórmula simbólica
Exercício
V = Verdadeiro F = Falso operador principal linha que prova a invalidade
¬Negação — não P
∧Conjunção — P e Q
∨Disjunção Inclusiva — P ou Q
∨Disjunção exclusiva — ou P ou Q, não ambos
→Condicional — se P então Q. Também aceita ->
↔Bicondicional — P se e só se Q. Também aceita <->