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...

A regra decorrente do argumento apresentado é a regra do silogismo disjuntivo. Explicação: A regra do silogismo disjuntivo é uma regra de inferência hipotética que afirma que, se uma disjunção é verdadeira e uma das proposições é falsa, então a outra proposição deve ser verdadeira. No argumento apresentado, temos a disjunção "Ou o livro está na estante de casa ou ele está na sua mochila" e a proposição "O livro não está na minha mochila", que é a negação da segunda proposição da disjunção. Portanto, podemos concluir que "O livro está na estante", que é a outra proposição da disjunção.