Diga qual regra foi usada (Modus Ponens, Modus Tollens, etc.) e a conclusão.
Exercício 14
-
-
Conclusão: __________
Regra: __________
Exercício 14
Regra: __________
Passo 1
O enunciado nos dá duas premissas:
O que se pede:
- Determinar a conclusão lógica que se segue dessas premissas.
- Dizer qual regra de inferência foi usada (ex.: Modus Ponens, Modus Tollens, etc.).
Passo 2
Entender o significado de cada premissa, em linguagem simples:
-
significa "se então ". -
significa "se então ".
Para lembrar: Modus Ponens é a regra que diz que, se se tem
e
, então se pode inferir
. Vou usar essa ideia duas vezes a seguir.
Passo 3
Técnica de prova (estratégia): usar uma prova condicional (assumir
e mostrar que isso leva a
), que depois permite concluir a implicação desejada. A estrutura é:
- Assuma
. - Da premissa
e da suposição , aplique Modus Ponens para obter . - Da premissa
e do resultado , aplique Modus Ponens novamente para obter .
Ou seja, a suposição
leva logicamente a
.
Passo 4
Finalização da prova: como assumir
nos levou a
, pela regra do Condicional (Conditional Proof) podemos encerrar a suposição e inferir a implicação que liga a suposição à conclusão. Esse é o raciocínio padrão que corresponde ao silogismo hipotético (cadeia de implicações).
Resposta
Silogismo hipotético (Hypothetical Syllogism)