A proposição apresentada corresponde à regra de inferência chamada "modus tollens". Essa regra é usada para inferir a negação da antecedente de uma implicação a partir da negação de sua consequente.
0
0
Faça como milhares de estudantes: teste grátis o Passei Direto
Compartilhar