a logic formula like this:∀x(x∉A∨x∈B)
a logic formula like this:
At the first glance, it seems like the law of excluded middle is implied here (i.e., for any x, it either does not belong to A or belongs to A), and that's a typo. Then it should probably read: ∀𝑥(𝑥∉𝐀 ∨ 𝑥∈𝐀)(i.e., "𝐀" instead of "𝐁")
At the first glance, it seems like the law of excluded middle is implied here (i.e., for any x, it either does not belong to A or belongs to A), and that's a typo. Then it should probably read:
∀𝑥(𝑥∉𝐀 ∨ 𝑥∈𝐀)
(i.e., "𝐀" instead of "𝐁")