Introduction to Aristotle's contributions to logic are explored in PART 3 of our series on Computer Science. This video explains: deduction, abstraction, law of non contradiction & syllogisms. Please support this program: https://www.patreon.com/artoftheproblem or Bitcoin: 1J29nKVys3anVaQNnyW8DBkD4vCzFxdB2r