MyWikiBiz, Author Your Legacy — Monday December 22, 2025
Jump to navigationJump to search
37 bytes added
, 14:32, 1 April 2010
| Line 517: |
Line 517: |
| | An illustrious example of a propositional theorem is the ''praeclarum theorema'', the ''admirable'', ''shining'', or ''splendid'' theorem of [[Leibniz]]. | | An illustrious example of a propositional theorem is the ''praeclarum theorema'', the ''admirable'', ''shining'', or ''splendid'' theorem of [[Leibniz]]. |
| | | | |
| − | <blockquote> | + | {| align="center" cellspacing="6" width="90%" <!--QUOTE--> |
| | + | | |
| | <p>If ''a'' is ''b'' and ''d'' is ''c'', then ''ad'' will be ''bc''.</p> | | <p>If ''a'' is ''b'' and ''d'' is ''c'', then ''ad'' will be ''bc''.</p> |
| | | | |
| Line 529: |
Line 530: |
| | | | |
| | <p>([[Leibniz]], ''Logical Papers'', p. 41).</p> | | <p>([[Leibniz]], ''Logical Papers'', p. 41).</p> |
| − | </blockquote>
| + | |} |
| | | | |
| | Under the existential interpretation, the praeclarum theorema is represented by means of the following logical graph. | | Under the existential interpretation, the praeclarum theorema is represented by means of the following logical graph. |