En los casos de "modus ponens" se asume como premisa que "p" → "q" es verdadera y p es verdadera.