The first non-temporal undemonstrated is today known as modus ponendo ponens. It is the form of argument we have, to this point, been using in our examples. If p, then q; p; therefore, q. As we’ve seen, this schemata has a conditional and its antecedent as premises, followed by the consequent of the conditional as its conclusion.
