Essa pergunta também está no material:
Respostas
A alternativa correta é "Modus Ponens". A fórmula p Λ (p → q) ==> q representa a regra de inferência Modus Ponens, que é uma das regras básicas da lógica proposicional. O Modus Ponens é usado para inferir uma conclusão a partir de duas premissas, onde a primeira premissa é uma proposição condicional e a segunda premissa é a afirmação da antecedente da proposição condicional.
Responda
Para escrever sua resposta aqui, entre ou crie uma conta