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:

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

Explicação:

Answer 2

Com o estudo sobre as regras de inferência, temos como resposta
I - 2; II - 1; III - 3

Regras de inferência

A lógica matemática é frequentemente usada para provas lógicas. Provas são argumentos válidos que determinam os valores de verdade de declarações matemáticas.

Um argumento é uma sequência de declarações. A última afirmação é a conclusão e todas as suas afirmações anteriores são chamadas de premissas (ou hipóteses). O símbolo “∴”, (leia-se portanto) é colocado antes da conclusão. Um argumento válido é aquele em que a conclusão decorre dos valores de verdade das premissas.

As regras de inferência fornecem os modelos ou diretrizes para construir argumentos válidos a partir das declarações que já temos

• $\displaystyle\frac{\begin{pmatrix}p\\ \:p\rightarrow \:q\end{pmatrix}}{\therefore \:q}\:\:\:Modus\:ponens$

• $\displaystyle\frac{\begin{pmatrix}\neg q\\ \:p\rightarrow \:q\end{pmatrix}}{\therefore \:\neg p}\:\:\:Modus\:tollens$

• $\displaystyle\frac{\begin{pmatrix}p\rightarrow q\\ \:q\rightarrow \:r\end{pmatrix}}{\therefore \:p\rightarrow r}\:\:\:Silogismo\:hipotetico$

Daí, teremos
- 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)

Saiba mais sobre regras de inferência:https://brainly.com.br/tarefa/26628144

#SPJ5