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
logic
inference
causal relations
dichotomous logic
determinism
logical form
References: comprehension
formalisms
information/entropy
logic
rules