|
logicrules |
|
These are six basic logic statements from which many others may be derived. 1) From a premise of the form "P and Q" one may infer "Q." 2) From a premise of the form "P" one may infer "P or Q." 3) From premises of the form "P or Q" and "not-P" one may infer "Q." 4) From premises of the form "P" and "If P, then Q" one may infer "Q." 5) If a conclusion "C" may be inferred from a premis "P: by logical rules of inference, then the conditional statement "If P, the C" may be asserted on purely logical grounds. 6) If an explicit contradiction may be inferred from a premise "P" by logical rules of inference, then "not-P" may be asserted on purely logical grounds. adapted from Bruce Aune's Rationalism, Empiricism, and Pragmatism: An
Introduction |