Ask your own question, for FREE!
Mathematics 14 Online
OpenStudy (anonymous):

why is ∃x [P(x) or Q(x)] ≡ ∃x P(x) or ∃x Q(x) ?

OpenStudy (anonymous):

Looks like that backwards EX is multiplied by the functions inside the brackets and it might be a constant

OpenStudy (anonymous):

xD do u see any contradiction ?

OpenStudy (anonymous):

the thing that bother me is the x on the LHS is singular while the x's on the RHS might not be the same object

OpenStudy (anonymous):

lets prove it using this , let A \(\in \) [P(x) or Q(x)] then A \(\in\) p(x) or A\(\in\) Q(x) xD haha lolz it doesnt need a proof

OpenStudy (anonymous):

its ok :) ill give u an example let p(x)=2x and Q(x) =x^2 A=2 then A might be in P(x) or Q(x) :)

OpenStudy (anonymous):

for group example P={1,2,3,4} Q={5,6,7,8} and A=5 then A\(in\) [Q or p] 5 in Q or 5 in P it satisfy 5 in Q its ok if its not in P

OpenStudy (anonymous):

If there's an \(x\) that makes \(P(x)\) or \(Q(x)\) a true statement, then there's an \(x\) that makes \(P(x)\) true or there's an \(x\) that makes \(Q(x)\) true.

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!