Question

4) 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.

Answer 1

A ordem correta é: I - 2; II - 1; III - 3.

- Dados:

- Coluna A :

I. Modus Ponens (MP)

II. Modus Tollens (MT)

III. Silogismo Hipotético (SH)

- Coluna B :

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

2. (P → Q)ΛP → Q

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

Relacionando as colunas:

I. Modus Ponens (MP)  = 2. (P → Q)ΛP → Q

II. Modus Tollens (MT)   =  1. (P → Q)Λ¬Q →P

III. Silogismo Hipotético (SH)  = 3. (P →Q)Λ(Q → R) → (P → R)

Modus Ponens (MP) - se a premissa for uma condicional e o seu antecedente, pode-se inferir, como  conclusão, o consequente.

Modus Tollens (MT) - se a premissa for uma condicional e a negação do consequente, pode-se inferir, como  conclusão, a negação do antecedente.

Silogismo Hipotético (SH)  - se a proposição implicar em uma segunda e esta, logo após, implicar em uma terceira, então a  primeira implica também a terceira.

Espero ter ajudado!

Answer 2

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