Question

É dado o seguinte argumento e sua respectiva dedução lógica:

1. ¬p → r ∧ ¬s hipótese

2. t → s hipótese

3. u → ¬p hipótese

4. ¬w hipótese

5. u ∨ w hipótese

6. ¬t ∨ w conclusão

7. u 4,5 ______________

8. ¬p 3,7 ______________

9. r ∧ ¬s 1,9 Modus Ponens

10. ¬s 9, Simplificação

11. ¬t 2,10 _____________

12. ¬t V w 12, adição.

Assinale a alternativa que contém, respectivamente, as regras aplicadas nas linhas 7, 8 e 11:


7 – Silogismo Regressivo; 8 – Contradição; 11 – Adição.

7 - Silogismo hipotético; 8 - Modus Ponens; 11 – Modus Tollens.

7 - Silogismo hipotético; 8 - Modus Tollens; 11 – Modus Ponens.

7 - Silogismo Disjuntivo; 8 - Modus Tollens; 11 – Modus Ponens.

7 - Silogismo Disjuntivo; 8 - Modus Ponens; 11 – Modus Tollens.

Answer 1

Resposta:

entedemos que

Explicação passo-a-passo: