Search for tag: "negations"

CL - 11b - CNF by Boolean algebra

Description Pending

From  Haoran Peng on November 12th, 2020 0 likes 257 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 on October 5th, 2020 0 likes 437 plays 0