Questão 7: Considere o argumento a seguir, onde P1 ∧ P2 são premissas e Q é a conclusão.
P1: P ∧ ¬S
P1: V ∨ E
Q: ?
A validade do argumento pode ser deduzida, respectivamente, a partir da aplicação de quais regras de inferência?
DADOS – Regras de inferência (no formato P1, P2, ..., Pn ⊢ Q):
União
Modus Ponens
a → b, a ⊢ b
Modus Tollens
a → b, ¬b ⊢ ¬a
Adição
a ⊢ a ∨ b
Simplificação
a ∧ b ⊢ a, a ∧ b ⊢ b
Silogismo Hipotético
a → b, b → c ⊢ a → c
Silogismo Disjuntivo
a ∨ b, ¬a ⊢ b
Dilema Construtivo
a → b, c → d, a ∨ c ⊢ b ∨ d
Dilema Destrutivo
a → b, ¬b → ¬c, a ⊢ ¬c
Regra da Absorção
a → b ⊢ a → (a ∧ b)
A) Silogismo Disjuntivo, Modus Ponens
B) Modus Tollens, Regra da Absorção
C) Simplificação, Silogismo Disjuntivo
D) Dilema Construtivo, Dilema Destrutivo
E) Adição, Silogismo Hipotético
