Question

Veja a seguinte argumentação na forma simbólica

p→ (q→r), p→q, p -> r

Para demonstrar esta argumentação através da redução ao absurdo, é necessária a utilização de quais regras de inferência

A) Silogismo Dijuntivo, Simplificação e Conjunção
B) Silogismo Dijuntivo e Simplificação
C) Modus Tollens, Adição e Conjunção
D) Modus Tollens e Conjunção
E) Modus Ponens e Conjunção

Answer 1

Veja a seguinte argumentação na forma simbólica:

~p, (~p →q), (q →r)I-->r

Para demonstrar esta argumentação através da redução ao absurdo, é necessária a utilização de quais regras de inferência:

Alternativas:

a)

Modus Tollens, Adição e Conjunção.

b)

Modus Tollens e Conjunção.

c)

Modus Ponens e Conjunção.

Alternativa assinalada

d)

Silogismo Disjuntivo, Simplificação e Conjunção.

e)

Modus Ponens e Modus Ponens.

Answer 2

A alternativa correta é Modus Ponens e Conjunção.

• Como na equivalência, existem também  alguns argumentos básicos.

• Estes argumentos básicos são usados para executar os passos de uma dedução  ou demonstração.
• Estes argumentos são chamados de  regras de inferência
• Sempre que pq e p são  verdades podemos concluir  que q é verdade

A regra de modus ponens nos diz que:

1. se uma afirmação condicional p → q é  verdadeira,

e

2. a hipótese p do condicional ´e verdadeira,

então

3. a conclusão q do condicional é necessariamente verdadeira.

Continue estudando em https://brainly.com.br/tarefa/18357012