Hacker News new | ask | show | jobs
by cubefox 1069 days ago
> "Socrates is a male" has a value of True; "All men are mortal" has a value of True; and a conclusion of "Socrates is mortal" that is "True" because a True "and" a True yields a True.

No, for a logical argument the conclusion must be true if the premises are true. A valid argument (proof) only shows: necessarily, if the premises are true, the conclusion is true.

> And then an immortal man is discovered, making that first premise "False". And False "and" a True yields a "False".

> This causes "Socrates is mortal" to have a truth value of "False"

No...