Definition from Wiktionary, the free dictionary
So named by G.W. Leibniz in his unpublished papers of 1690 (later published as Leibniz: Logical Papers in 1966), meaning "splendid theorem" in Latin.
- (logic) The following theorem of propositional calculus: (A → B) ∧ (C → D) → (A ∧ C → B ∧ D).    
- 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 .