Predicate Logic - Prove or disprove

Question

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". As you can see, I have the -> connector here, along with the two quantifiers (all and exist). I am not sure how to prove or disprove it. Can you assist please ? Thank you in advance !

Answer 1

OK, so if I understand you correctly, you are asking to prove or disprove the following argument or inference:

There exist an infinite number of lids

$\therefore$ All pots have a lid

Well, that one is easily shown to be invalid. I can have infinitely many lids, together with a pot without a lid. Indeed, why would pots have lids at all? Just because there are infinitely lids doesn't mean that there are lids everywhere. Consider:

There are infinitely many natural numbers

$\therefore$ All pots have a natural number written on it.

That does not follow, and your original argument is logically isomorph, so that one is not valid either.

Now, maybe you meant the following:

There exist an infinite number of lids

$\therefore$ For all pots there is a lid available (or: we can put a lid on every pot)

That still doesn't follow: even if there are infinitely many lids, that does not mean that every pot can be covered by a lid. If you haven't heard of the concept of 'cardinality', then I recommend you look up that concept. But the point is that there can be different 'kinds' of infinities, and that some infinities are 'greater' than others. Thus, for example, there are strictly 'more' real number than natural numbers, and they cannot be put into a one-to-one correspondence.

So, if you have as many lids as there are natural numbers, but you have as many pots as there are real numbers, then even though you have infinitely many lids, you still don't have enough to cover all of the pots!