praeclarum theorema

Etymology
So named by in his unpublished papers of 1690 (later published as Leibniz: Logical Papers in 1966), meaning "splendid theorem" in Latin.

Noun

 * 1)  The following theorem of propositional calculus: (A &rarr; B) &and; (C &rarr; D) &rarr; (A &and; C &rarr; B &and; D).
 * The praeclarum theorema can be seen to correspond with the rule $$R \otimes$$ of linear logic; given two sequents $$ A \vdash B$$ and $$C \vdash D$$ one may infer (through the said rule) that $$ A, C \vdash B \otimes D$$. Then one may further infer, through the rule $$L\otimes$$, that $$A \otimes C \vdash B \otimes D$$.