MyWikiBiz, Author Your Legacy — Tuesday November 26, 2024
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> |