Help understanding the proof of De Morgan's Law

  • Thread starter Thread starter Isaac12
  • Start date Start date
  • Tags Tags
    Law Proof
Isaac12
Messages
1
Reaction score
0
I need some help on understanding the proof of De Morgan's Law.

(A intersection B)' = A' U B'
I know that it is proof is along the lines of

Let x be in (A intersection B)'.
Then x is NOT in A intersection B
<=> x not in A AND x not in B (use logical connectors, negations, etc)
<=> x in A' OR x in B'
<=> x in A' U B'

but my question is how does the AND become an OR?
 
Physics news on Phys.org
The statement "I am going to work AND I am going to have pizza for lunch" is true only if BOTH are true. If I want to show "It is NOT true that I am going to work and I going to have pizza for lunch" I only need to show ONE of those two if false. That is, either I am NOT going to work or I am NOT going to have pizza for lunch. I don't have to show that they are both false, only that they are not both false. "Not A and B" is the same as "not A or not B".
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top