Uma das regras de Implicação lógica chamada de 'Modus Tollens' especifica que (p→q)⋀~q⇒~p(�→�)⋀~�⇒~�. Considerando que se pode aplicar esta regra a...

De acordo com a regra de Modus Tollens, se temos uma implicação lógica (p→q) e a negação da consequência (~q), podemos concluir a negação da premissa (~p). No caso da proposição "José irá ao cinema se conseguir comprar ingresso", podemos identificar que a premissa é "José conseguiu comprar ingresso" e a consequência é "José irá ao cinema". Portanto, se negarmos a consequência "José irá ao cinema" (~q), podemos concluir que a negação da premissa é verdadeira, ou seja, "José não conseguiu comprar ingresso" (~p). Assim, podemos dizer que a resposta correta é: "José não conseguiu comprar ingresso".