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.
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
a proposição “nevou hoje” e de
a proposição “a universidade está fechada hoje”. As premissas são:
Passo 3
Perceba que temos “se
então
” e também “não
”. A forma padrão de inferência que leva de
para
é exatamente a regra conhecida como Modus Tollens (negação do consequente).
Resposta
A regra de inferência é Modus Tollens.