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 βπβ)