As regras de inferência não hipotéticas e hipotéticas podem ser utilizadas para demonstrar vários raciocínios bastante recorrentes. Estes raciocíni...

As regras de inferência não hipotéticas e hipotéticas podem ser utilizadas para demonstrar vários raciocínios bastante recorrentes. Estes raciocínios, uma vez demonstrados, podem ser usados como regras. Estas regras não são necessárias, mas são bastante úteis, tornando nossas provas muito mais sucintas. Utilizando essas regras de derivadas, analise o argumento a seguir: "Se meu livro estiver sobre minha escrivaninha, então estou estudando. Eu não estou estudando. Logo, meu livro não está sobre minha escrivaninha".Com base nesse argumento, assinale a alternativa CORRETA que apresenta a regra decorrente: