logoalt Hacker News

rkachowski12/09/20244 repliesview on HN

by the same following, this would mean that any statement on the members of an empty set can be made and it would be logically true?

e.g. "all my lamborghinis have magical goat skin seat covers" is true if 1) I have no lamborghinis or 2) All the ones I own have magical goat skin seat covers.

(fr I have no logical or mathematical background)


Replies

Certhas12/09/2024

Correct.

Common source of confusion/trickery/divergence between ordinary language and formal logic.

Edit: Logically speaking, the following two are equivalent:

They married and had kids.

They had kids and married.

show 2 replies
MrMcCall12/09/2024

I don't have formal logic or any math beyond calculus, either, and it appears that this fact is to our advantage.

show 1 reply
mewpmewp212/09/2024

Yes, your statement would be true.

semigroupoid12/09/2024

Yes