Lista de Símbolos lógicos:

~ negação
∧ conjunção
∨ disjunção inclusiva
⊕ disjunção exclusiva
→ condicional
↔ bicondicional
Considerando P e Q proposições simples, preencha a tabela verdade abaixo considerando a fórmula P→~Q

A última coluna, de cima para baixo, da tabela verdade, fica corretamente preenchida por: