Símbolos Negação ~ Conjunção & Disjunção v Condicional > Bicondicional <> NAND | Absurdo # Deduz que (⊢) :

Exemplos: ~A (A & B) (# > (B v ~A)) (A & (~B > C)) (A <>(BvC)), A, (~B>C) A >B, ~B : ~A

Tabela Principal Tabela Completa Tabela Texto Tabela LaTeX Mostrar Numeração Linhas Críticas Verifica se é consequência lógica