Para cada grupo de premissas abaixo, qual conclusão ou conclusões relevantes podem ser tiradas? Explique as regras de inferência utilizadas para obter cada conclusão das premissas.
“Se eu jogo hóquei, então eu fico dolorido no dia seguinte.” “Eu uso a hidromassagem se eu estou dolorido.” “Eu não usei a hidromassagem.”
“Se eu jogo hóquei, então eu fico dolorido no dia seguinte.” “Eu uso a hidromassagem se eu estou dolorido.” “Eu não usei a hidromassagem.”
Passo 1
O enunciado dá as seguintes premissas em linguagem natural:
– “Se eu jogo hóquei, então eu fico dolorido no dia seguinte.”
– “Eu uso a hidromassagem se eu estou dolorido.”
– “Eu não usei a hidromassagem.”
O conteúdo é lógica proposicional, e vamos usar as regras de inferência modus tollens (negação do antecedente) e, indiretamente, contraposição.
– “Se eu jogo hóquei, então eu fico dolorido no dia seguinte.”
– “Eu uso a hidromassagem se eu estou dolorido.”
– “Eu não usei a hidromassagem.”
O conteúdo é lógica proposicional, e vamos usar as regras de inferência modus tollens (negação do antecedente) e, indiretamente, contraposição.
Passo 2
Formalizando em símbolos:
Defina “eu jogo hóquei”,
“eu fico dolorido no dia seguinte”,
“eu uso a hidromassagem”.
As premissas viram
Defina
As premissas viram
Passo 3
Aplicando modus tollens à segunda premissa
e à negação de
:
Logo concluímos
, ou seja, “eu não fiquei dolorido”.
Passo 4
Agora aplicamos modus tollens à primeira premissa
e à negação de
:
Portanto
, isto é, “eu não joguei hóquei”.
Resposta
Eu não fiquei dolorido e, consequentemente, eu não joguei hóquei.