How to interpret the set $\{x\mid x \in A \implies x \in B \}$?
I've seen it in exercises from a few texts, but it isn't obvious to me. Thanks.
How to interpret the set $\{x\mid x \in A \implies x \in B \}$?
I've seen it in exercises from a few texts, but it isn't obvious to me. Thanks.
This (unconventionally) defines the set $B\cup(A^c).$ Hint: the assertion $P\implies Q$ is equivalent to $Q\lor(\lnot P)$.