3 ms·
>English: "It is necessary and sufficient for the ground to be wet that it is raining." That’s not true.
by Horffupolde 3y ago
>English: "It is necessary and sufficient for the ground to be wet that it is raining."
That’s not true.
- eigenvalue 3y agoWhen you're using FOL, there is an understanding that it's not trying to literally describe the world accurately-- it's an idealized version to demonstrate logical thinking in a way that's easier and more intuitive than only using symbols like P or Q. So when there is a syllogism involving "All birds can fly," no one is seriously claiming that there aren't any birds that have damaged wings or that are too weak to fly.