- #1

nomadreid

Gold Member

- 1,456

- 144

p implies q

P is the set of all things for which p is true

Q is the set of all things for which q is true

then Q ⊆ P.

Also that the set of all things for which p&q is true equals P∩Q

But p & q implies p, so (from the above) P ⊆ P ∩ Q, which is in general false.

What is wrong?

Thanks