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. Selecione uma alternativa: a) I - 1; II - 3; III - 2. b) I - 2; II - 1; III - 3. c) I - 3; II - 1; III - 2. d) I - 3; II - 2; III - 1. e) I - 1; II - 2; III - 3.
1 Resposta
Clique aqui para adicionar a sua resposta.
Mais perguntas de Lógica
Lógica
Lógica
O seguinte trecho de texto é um problema de lógica: João tem um irmão mais novo. João é o irmão mais velho.
Alícia Galvão - há 2 anos
Lógica
mariarosadasilva321
A ordem correta é: I - 2; II - 1; III - 3.
- Dados:
- 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)
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.
Espero ter ajudado!