No quadro a seguir estão listados os principais conectivos utilizados em operações lógicas sobre preposições e seus respectivos símbolos:
![Imagem relacionada à questão do Questões Estratégicas]()
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:
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:
- A P1 . A → B P2 . B → D C . ~ D → ~ A
- B P1 . A ↔ ~ B C . ~ (A ∧ B)
- C P1 . ~ A ∨ B P2 . A C . B
- D P1 . A → B P2 . B → D C . D → A
- E P1 . A V B P2 . ~ B C . A