Changes

Talk:Logical graph (view source)

96 bytes added , 03:32, 6 December 2008

Line 262: Line 262:

</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,123

edits