Translingual

Noun

praeclarum theorema

1. (logic) The following theorem of propositional calculus: (A → B) ∧ (C → D) → (A ∧ C → B ∧ D). ^[1][2][3][4]

   The praeclarum theorema can be seen to correspond with the rule of linear logic; given two sequents and one may infer (through the said rule) that . Then one may further infer, through the rule , that .

See also

• constructive dilemma

References

1. ↑ http://planetmath.org/encyclopedia/PraeclarumTheorema.html
2. ↑ http://www.proofwiki.org/wiki/Praeclarum_Theorema
3. ↑ http://mally.stanford.edu/cm/leibniz/ (Proposition 10)
4. ↑ Theorem prth₆₉₈ at Metamath Proof Explorer