MyWikiBiz, Author Your Legacy — Sunday April 06, 2025
Jump to navigationJump to search
96 bytes added
, 03:32, 6 December 2008
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>