Prove DeMorgan's Theorem for indexed family of set using logic quantifiers

376 Views Asked by At

I need to prove both general union and intersection for indexed family sets using logic quantifiers, this is the prove i've written but i'm not sure if its correct: enter image description here

Thanks for help.