Qual a regra de inferência usada em cada um dos argumentos abaixo?
Se o dia estiver chuvoso, então a piscina estará fechada. O dia está chuvoso. Por isso, a piscina está fechada.
Se o dia estiver chuvoso, então a piscina estará fechada. O dia está chuvoso. Por isso, a piscina está fechada.
Passo 1
O enunciado apresenta um argumento em lógica proposicional:
“Se o dia estiver chuvoso, então a piscina estará fechada. O dia está chuvoso. Logo, a piscina está fechada.”
Aqui temos uma condicional e sua hipótese confirmada, de modo que vamos simbolizar e identificar a regra de inferência aplicada.
“Se o dia estiver chuvoso, então a piscina estará fechada. O dia está chuvoso. Logo, a piscina está fechada.”
Aqui temos uma condicional e sua hipótese confirmada, de modo que vamos simbolizar e identificar a regra de inferência aplicada.
Passo 2
Definimos as proposições
As premissas são
e
A partir dessas duas, infere-se
Essa forma de inferência — pegar uma condicional
e afirmar
a partir de
— é exatamente a regra chamada Modus Ponens.
Resposta
Modus Ponens.