Modus Ponens
A logical argument of the form:
If P, then Q.
Latin:
a mode of affirming affirms.
Modus Ponens Logic:
If P, then QP is true
Therefore Q is true
P = antecedent and Q = consequent.
If antecedent = true, consequence = true.
A logical argument of the form:
If P, then Q.
Latin:
a mode of affirming affirms.