De acordo com a fórmula p Λ (p → q) ==> q, qual alternativa abaixo está CORRETA em relação as regras de inferência desta implicação lógica? Modus...

A alternativa correta em relação às regras de inferência da implicação lógica p Λ (p → q) ==> q é o Modus Ponens. O Modus Ponens é uma regra de inferência que afirma que, se p implica q e p é verdadeiro, então q também é verdadeiro. Nesse caso, p Λ (p → q) é verdadeiro, e a partir disso, podemos inferir que q é verdadeiro. As outras alternativas não se aplicam a essa fórmula.