Search found 1 match
- Sun Sep 11, 2022 9:56 pm
- Forum: Logic and Philosophy of Mathematics
- Topic: Predicate Logic and Sets
- Replies: 3
- Views: 1716
Predicate Logic and Sets
Hi friends, I don't seem to be able to formalize a statement about the equivalence of two sets. Specifically, how do I formalize "the number of apples in this box A is the same as the number of pears in that box B". Surely one has to use universal and existential quantifiers in some way, a...