Comment Comment by Aardwolf In the "A Categorycal Syllogism" example, the socrates example, it returns "true".If I change the last line from "Ms" to "~Ms", why does it return "contingent"?From what I understood, I expected this to return "false" (or maybe "self-contradictory", does "false" exist in this application?).Because if every man is mortal, and socrates is a man, then saying "socrates is not mortal" is false, right? Not unknown or anything. parent Aardwolf 8 years ago
If I change the last line from "Ms" to "~Ms", why does it return "contingent"?
From what I understood, I expected this to return "false" (or maybe "self-contradictory", does "false" exist in this application?).
Because if every man is mortal, and socrates is a man, then saying "socrates is not mortal" is false, right? Not unknown or anything.