- #1
Yankel
- 395
- 0
Hello all,
I have a phrase in English, and I need to determine if it is true or false. If it is true, I need to prove it, and if it is false, I need to disprove it.
The phrase is based on the famous phrase "every pot has a lid", and it goes like this:
"If there exist an infinite set of lids, then, all pots has a lid (every pot has a lid)".
As you can see, I have the "if-then" connector here ([tex] \implies [/tex]), along with the two quantifiers (all and exist). I am not sure how to prove or disprove it.
On one hand, it sounds invalid, since having an infinite number of lids doesn't mean that there is no pot without a lid. On the other hand, the number of pots and number of lids are both natural numbers, and so the cardinality of both is equal, I think.
I was trying to write this down using predicates (using [tex] \forall \exists \implies \therefore [/tex]), but couldn't do it.
Can you please assist in solving this problem ?
Thank you in advance !
I have a phrase in English, and I need to determine if it is true or false. If it is true, I need to prove it, and if it is false, I need to disprove it.
The phrase is based on the famous phrase "every pot has a lid", and it goes like this:
"If there exist an infinite set of lids, then, all pots has a lid (every pot has a lid)".
As you can see, I have the "if-then" connector here ([tex] \implies [/tex]), along with the two quantifiers (all and exist). I am not sure how to prove or disprove it.
On one hand, it sounds invalid, since having an infinite number of lids doesn't mean that there is no pot without a lid. On the other hand, the number of pots and number of lids are both natural numbers, and so the cardinality of both is equal, I think.
I was trying to write this down using predicates (using [tex] \forall \exists \implies \therefore [/tex]), but couldn't do it.
Can you please assist in solving this problem ?
Thank you in advance !