请输入您要查询的字词:

 

单词 PraeclarumTheorema
释义

praeclarum theorema


The praeclarum theorema, or splendid theorem, is a theorem of propositional calculusMathworldPlanetmath that was noted and named by G.W. Leibniz, who stated and proved it in the following manner:

If a is b and d is c, then ad will be bc.
This is a fine theorem, which is proved in this way:
a is b, therefore ad is bd (by what precedes),
d is c, therefore bd is bc (again by what precedes),
ad is bd, and bd is bc, therefore ad is bc. Q.E.D.
(Leibniz, Logical Papers, p. 41).

Expressed in contemporary logical notation, the praeclarum theorema (PT) may be written as follows:

((ab)(dc))((ad)(bc))

Representing propositionsPlanetmathPlanetmath (http://planetmath.org/PropositionalCalculus) as logical graphs (http://planetmath.org/LogicalGraph) under the existential interpretationPlanetmathPlanetmath (http://planetmath.org/LogicalGraphFormalDevelopment), the praeclarum theorema is expressed by means of the following formal equation:

And here’s a neat proof of that nice theorem.

1 References

  • Leibniz, Gottfried W. (1679–1686 ?), “Addenda to the Specimen of the UniversalPlanetmathPlanetmath Calculus”, pp. 40–46 in G.H.R. Parkinson (ed., trans., 1966), Leibniz : Logical Papers, Oxford University Press, London, UK.

2 Readings

  • Sowa, John F. (2002), “Peirce’s Rules of InferenceMathworldPlanetmath”, http://www.jfsowa.com/peirce/infrules.htmOnline.

3 Resources

  • Dau, Frithjof (2008), http://web.archive.org/web/20070706192257/http://dr-dau.net/pc.shtmlComputer Animated Proof of Leibniz’s Praeclarum Theorema.

  • Megill, Norman (2008), http://us.metamath.org/mpegif/prth.htmlPraeclarum Theorema @ http://us.metamath.org/mpegif/mmset.htmlMetamath Proof Explorer.

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/5 0:02:36