Answered

Junte-se à comunidade do IDNLearner.com e comece a obter respostas. Nossos especialistas fornecem respostas rápidas e precisas para ajudá-lo a entender e resolver qualquer problema.

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)

Sagot :

A questão completa é:

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)

Como funciona as inferências principais

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.

Saiba mais sobre inferência em: https://brainly.com.br/tarefa/51338613

#SPJ4

Apreciamos cada contribuição que você faz. Continue compartilhando suas experiências e conhecimentos. Juntos, alcançaremos novos níveis de sabedoria. Para respostas claras e precisas, escolha IDNLearner.com. Obrigado pela visita e volte logo para mais insights valiosos.