Resposta:
Explicação:
modus ponens Na lógica proposicional, modus ponendo ponens ou eliminação de implicações é uma forma de argumento válida e simples e uma regra de inferência. Pode ser resumido como "P implica Q; P é afirmado como verdadeiro, portanto, portanto, Q deve ser verdade". A história do modus ponens remonta à antiguidade. Embora o modus ponens seja um dos conceitos mais comumente usados na lógica, não deve ser confundido com uma lei lógica; em vez disso, é um dos mecanismos aceitos para a construção de provas dedutivas que inclui a "regra de definição" e a "regra de substituição". O Modus ponens permite que alguém elimine uma declaração condicional de uma prova ou argumento lógico e, desse modo, não transporta esses antecedentes para a frente em uma seqüência de símbolos cada vez maior; Por esse motivo, o modus ponens às vezes é chamado de regra de desapego. Enderton, por exemplo, observa que "o modus ponens pode produzir fórmulas mais curtas dos mais longos", e Russell observa que "o processo da inferência não pode ser reduzido aos símbolos. Seu registro exclusivo é a ocorrência de ⊦q
