Para chegar a esta conclusão lógica qual regra de inferência foi utilizada? 1 - q --> r .........Premissa 2 - ~ r................Premissa 3 - ~q ....

Para chegar à conclusão lógica de ~q, foi utilizada a regra de inferência chamada Modus Tollens. Essa regra afirma que se temos uma implicação condicional do tipo "se p, então q" e sabemos que q é falso, podemos concluir que p também é falso. No caso apresentado, a premissa 1 afirma "q implica r" e a premissa 2 afirma "~r". Utilizando o Modus Tollens, podemos concluir que "~q".