Changes

MyWikiBiz, Author Your Legacy — Monday November 04, 2024
Jump to navigationJump to search
→‎Praeclarum theorema: del unnec specs
Line 140: Line 140:  
====Praeclarum theorema====
 
====Praeclarum theorema====
   −
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" cellpadding="8" width="90%"
 +
|
 
<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 153: Line 154:  
<p>''ad'' is ''bd'', and ''bd'' is ''bc'', therefore ''ad'' is ''bc''.  Q.E.D.</p>
 
<p>''ad'' is ''bd'', and ''bd'' is ''bc'', therefore ''ad'' is ''bc''.  Q.E.D.</p>
   −
<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.
   −
{| align="center" border="0" cellpadding="10" cellspacing="0"
+
{| align="center" cellpadding="10"
 
| [[Image:PERS_Figure_14.jpg|500px]] || (14)
 
| [[Image:PERS_Figure_14.jpg|500px]] || (14)
 
|}
 
|}
Line 164: Line 165:  
And here's a neat proof of that nice theorem.
 
And here's a neat proof of that nice theorem.
   −
{| align="center" border="0" cellpadding="10" cellspacing="0"
+
{| align="center" cellpadding="10"
 
| [[Image:PERS_Figure_15.jpg|500px]] || (15)
 
| [[Image:PERS_Figure_15.jpg|500px]] || (15)
 
|}
 
|}
12,080

edits

Navigation menu