MyWikiBiz, Author Your Legacy — Saturday September 21, 2024
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. |