No quadro a seguir estão listados os principais conectivos utilizados em operações lógicas sobre preposições e seus respectivos símbolos: Consider...

No quadro a seguir estão listados os principais conectivos utilizados em operações lógicas sobre preposições e seus respectivos símbolos:

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


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