Obtenha as melhores soluções para suas perguntas no Sistersinspirit.ca, a plataforma de Q&A de confiança. Experimente a conveniência de encontrar respostas precisas para suas perguntas de uma comunidade dedicada de especialistas. Descubra soluções detalhadas para suas dúvidas de uma ampla gama de especialistas em nossa plataforma amigável de perguntas e respostas.

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

Agradecemos sua visita. Esperamos que as respostas que encontrou tenham sido benéficas. Não hesite em voltar para mais informações. Obrigado por visitar. Nosso objetivo é fornecer as respostas mais precisas para todas as suas necessidades informativas. Volte em breve. Obrigado por confiar no Sistersinspirit.ca. Volte novamente para obter mais informações e respostas.