Question

Além das regras de equivalência, o processo de dedução lógica também possui as regras de inferência. Na inferência, dada uma determinada fbf, ela poderá ser substituída por outra que atenda a regra de inferência. Há três regras de inferência principais: Modus Ponens (MP), Modus Tollens (MT) e Silogismo Hipotético (SH).



De acordo com as informações apresentadas na tabela a seguir, faça a associação das regras de inferência na Coluna A com as respectivas estruturas apresentados na Coluna B.



Coluna A

Coluna B

I. Modus Ponens (MP)

1. (P → Q)Λ¬Q →P

II. Modus Tollens (MT)

2. (P → Q)ΛP → Q

III. Silogismo Hipotético (SH)

3. (P →Q)Λ(Q → R) → (P → R)



Assinale a alternativa que apresenta a associação CORRETA entre as colunas.

Answer 1

Resposta:

I = 2

II = 1

III = 3

Explicação passo-a-passo:

Vc não informou as opções para resposta, porém, a equivalência entre as colunas é essa.

Answer 2

b) I - 2; II - 1; III - 3. corrigido pelo AVA.