21 Mar modus ponens
An inference rule used to prove correctness or truth value of logical propositions. The form of the rule is this: If we know that when A is true, B is also true, and we know that A is true, then we can infer that B is true. In shorthand the conditions can be expressed A => B AND A. In more terse language we might say premise 1 is IF A THEN B and premise 2 is A.
Keywords: modus tollens