Changes

MyWikiBiz, Author Your Legacy — Thursday November 14, 2024
Jump to navigationJump to search
96 bytes added ,  03:32, 6 December 2008
→‎Logical Graph Sandbox: alternate readings
Line 262: Line 262:  
</pre>
 
</pre>
   −
In other words, <math>(a \land b) \lor a \iff a</math>
+
Under the existential interpretation, this may be read in the following ways:
 +
 
 +
: <math>(a \land b) \lor a \iff a</math>
 +
 
 +
: <math>a b \lor a = a</math>
12,080

edits

Navigation menu