praeclarum theorema

Translingual

Etymology

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

praeclarum theorema

(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 ${\\displaystyle R\\otimes }$ of linear logic; given two sequents ${\\displaystyle A\\vdash B}$ and ${\\displaystyle C\\vdash D}$ one may infer (through the said rule) that ${\\displaystyle A,C\\vdash B\\otimes D}$ . Then one may further infer, through the rule ${\\displaystyle L\\otimes }$ , that ${\\displaystyle A\\otimes C\\vdash B\\otimes D}$ .

References

(please provide the title of the work)‎, accessed 2 October 2011, archived from the original on 2010-11-04
http://www.proofwiki.org/wiki/Praeclarum_Theorema
http://mally.stanford.edu/cm/leibniz/ (Proposition 10)
Theorem prth₆₉₈ at Metamath Proof Explorer

[1] (please provide the title of the work)‎, accessed 2 October 2011, archived from the original on 2010-11-04

[2] ttp://www.proofwiki.org/wiki/Praeclarum_Theorema

[3] ttp://mally.stanford.edu/cm/leibniz/ (Proposition 10)

[4] Theorem prth₆₉₈ at Metamath Proof Explorer

单词	praeclarum theorema
释义	praeclarum theorema Translingual Etymology 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 praeclarum theorema (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 ${\\displaystyle R\\otimes }$ of linear logic; given two sequents ${\\displaystyle A\\vdash B}$ and ${\\displaystyle C\\vdash D}$ one may infer (through the said rule) that ${\\displaystyle A,C\\vdash B\\otimes D}$ . Then one may further infer, through the rule ${\\displaystyle L\\otimes }$ , that ${\\displaystyle A\\otimes C\\vdash B\\otimes D}$ . See also constructive dilemma References (please provide the title of the work)‎, accessed 2 October 2011, archived from the original on 2010-11-04 http://www.proofwiki.org/wiki/Praeclarum_Theorema http://mally.stanford.edu/cm/leibniz/ (Proposition 10) Theorem prth₆₉₈ at Metamath Proof Explorer
随便看	spaţiu spať spaț spația spațial spațialitate spațializa spațializare spațializat spațiat spațiere spații spații de fază spaționa spaționare spațios spațiu spațiu aerian spațiu cartezian spațiu cosmic spațiu de fază spațiu Einstein spațiu euclidian spațiu Hilbert spațiu interplanetar

praeclarum theorema

Translingual

Etymology

Noun

See also

References