# praeclarum theorema

Definition from Wiktionary, the free dictionary

## Translingual[edit]

### Etymology[edit]

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.

### Noun[edit]

- (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 .

- The

### See also[edit]

### References[edit]

- ^ http://planetmath.org/encyclopedia/PraeclarumTheorema.html
- ^ http://www.proofwiki.org/wiki/Praeclarum_Theorema
- ^ http://mally.stanford.edu/cm/leibniz/ (Proposition 10)
- ^ Theorem prth
_{698}at Metamath Proof Explorer