O modus ponens é uma regra de inferência que pode ser expressa da seguinte forma: se temos uma proposição condicional "A implica B" (A → B) e sabemos que "A" é verdadeira, então podemos concluir que "B" também é verdadeira. Analisando as alternativas: a) A → B A _____ B (Esta é a forma correta do modus ponens.) b) A → B ~B _____ ~A (Esta é a forma do modus tollens, não do modus ponens.) c) A → B B → C _____ A → C (Esta é a regra da silogismo hipotético, não do modus ponens.) d) A B _____ A ∧ B (Esta é a regra da conjunção, não do modus ponens.) e) A ∧ B _____ A (Esta é a regra da eliminação da conjunção, não do modus ponens.) Portanto, a alternativa que representa formalmente a regra de inferência do modus ponens é: a) A → B, A, _____ ¿ B.