Would you agree with the following proposition: “if all of my unicorns fly, then some of my unicorns fly”?
No.
(assuming you have no unicorns) "all of my unicorns fly" is true; "some of my unicorns fly" is false; "true->false" is false.
Yes
alt Hacker News
No.
(assuming you have no unicorns) "all of my unicorns fly" is true; "some of my unicorns fly" is false; "true->false" is false.