Qual a regra de inferência usada em cada um dos argumentos abaixo?
Se nevar hoje, a universidade estará fechada. A universidade não está fechada hoje. Por isso, não nevou hoje.

Passo 1

O enunciado apresenta um argumento em lógica proposicional e pede para identificarmos qual regra de inferência foi usada. O conteúdo aqui é raciocínio sobre implicação e negação, ou seja, regras de inferência em lógica de proposições.

Passo 2

Vamos chamar de \!N a proposição “nevou hoje” e de \!F a proposição “a universidade está fechada hoje”. As premissas são:
\text{(1)}\quad N \to F \text{(2)}\quad \neg F e a conclusão pretendida é \neg N.

Passo 3

Perceba que temos “se N então F” e também “não F”. A forma padrão de inferência que leva de
N \to F,\quad \neg F
para \neg N é exatamente a regra conhecida como Modus Tollens (negação do consequente).

Resposta

A regra de inferência é Modus Tollens.

Exercícios de Livros Relacionados