Search for tag: "negations"

CL - 11b - CNF by Boolean algebra

Description Pending

From  Haoran Peng 0 likes 264 plays 0  

CL - Lecture 3j - Aristotle's Syllogisms

We describe the traditional presentation of the syllogisms, and introduce Aristotle's existential assumption, on the basis of which he derives nine more syllogisms. These are not sound in our…

From  Haoran Peng 0 likes 444 plays 0