///
No quadro a seguir estão listados os principais conectivos utilizados em operações lógicas sobre preposições e seus respectivos símbolos:
| Conectivos | Símbolos |
|---|---|
| Negação | ~ |
| Conjunção | ∧ |
| Disjunção | ∨ |
| Condicional | → |
| Bicondicional | ↔ |
Considere A, B e D como sendo proposições simples e P1 e P2 as premissas com sua consequência C. Das formas simbólicas de cada argumento a seguir, trata-se de um argumento inválido para a lógica matemática: