how-to-prove
how-to-prove copied to clipboard
2.3.2.a
Shouldn't the answer be ∃A∈F(x∈A)∧∀A∈G(x∉A)? Thanks.