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

Answer 1

Resposta:

b) I - 2; II - 1; III - 3.

Explicação passo a passo:

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)

Answer 2

Resposta:

b) I - 2; II - 1; III - 3.

Corrigido Pelo AVA