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.

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.

Passo 2

Definimos as proposições
p \equiv \text{“o dia está chuvoso”}, \quad q \equiv \text{“a piscina está fechada”}.áá
As premissas são p \to q e p. A partir dessas duas, infere-se q. Essa forma de inferência — pegar uma condicional p\to q e afirmar q a partir de p — é exatamente a regra chamada Modus Ponens.

Resposta

Modus Ponens.

Exercícios de Livros Relacionados