Na expressão (p -> q) ^p => q, temos a representação de qual regra de implicação? (p → q)⋀ ~q ⇒ ~p Modus Tollens Adição Modus Tolens Simplificaçã...

A expressão (p -> q) ^p => q é uma representação da regra de implicação chamada Modus Ponens. Essa regra afirma que, se temos uma proposição condicional (p -> q) e a proposição p é verdadeira, então podemos concluir que a proposição q também é verdadeira.