OK, this is embarrassing, but I never looked carefully at this elementary point. We say that if(adsbygoogle = window.adsbygoogle || []).push({});

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

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Anomaly set theoretic equivalent to material implication

**Physics Forums | Science Articles, Homework Help, Discussion**