Search for tag: "negations"

CL - 11b - CNF by Boolean algebra

Description Pending

From  Haoran Peng 0 likes 265 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 449 plays 0