O Sistersinspirit.ca está aqui para ajudá-lo a encontrar respostas para todas as suas dúvidas com a ajuda de especialistas. Obtenha respostas rápidas e confiáveis para suas perguntas de nossa dedicada comunidade de especialistas em nossa plataforma. Nossa plataforma oferece uma experiência contínua para encontrar respostas confiáveis de uma rede de profissionais experientes.

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