Question

Considere o seguinte argumento:


x ≠ 4
x ≠ 4 ∨ x ≠ 1

Que regra de inferência foi utilizada para se afirmar que a conclusão é verdadeira?



A
Adição (AD).

B
Modus tollens (MT).

C
Silogismo hipotético (SH).

D
Dilema destrutivo (DD).

E
Simplificação disjuntiva (SIMPD).

Answer 1

Resposta:

A

Explicação:

Answer 2

Resposta:

Adição (AD)

Explicação:

A regra de inferência da adição implica que

Adição $\alpha$ ⇒ α ∨ β

Logo a regra de inferência que foi utilizada para se afirmar que a conclusão é verdadeira é a da adição.