# Search for tag: "venn"

#### CL - 6b - Karnaugh Maps I

In logic, we call the things in the universal model valuations; they are Boolean-values functions defined on the set of predicates.In computer science we often call these states, because, as we will…

From  Haoran Peng on October 24th, 2020 0 likes 419 plays 0

#### CL - 6a - Keeping it Simple

We begin by revisiting the idea of a universal model. If we have only n predicates then we can distinguish only 2n kinds of individual. So we only need to consider 2^{2n} universes. For example, for…

From  Haoran Peng on October 24th, 2020 0 likes 401 plays 0

#### CL - Review 2 - Venn Apples

Venn diagrams on a sphere.

From  Haoran Peng on October 20th, 2020 0 likes 311 plays 0

#### CL - Lecture 4d - Disjunction

In this video, we try to arrive at the disjunction rule.

From  Haoran Peng on October 11th, 2020 0 likes 464 plays 0

#### CL - Lecture 4c - Conjunction

In this video, we try to arrive at the conjunction rule.

From  Haoran Peng on October 11th, 2020 0 likes 516 plays 0

#### CL - Lecture 4a - Aristotle's Rules

Our first video is a recap of last week's materials.

From  Haoran Peng on October 11th, 2020 0 likes 535 plays 0

#### CL - Lecture 3f - Presenting your justifications and counterexamples

In this video, we label each region in the Venn diagram with a number from 0 to 7. We can then present our justifications and counter-examples by referring to those 8 regions.

From  Haoran Peng on October 3rd, 2020 0 likes 473 plays 0

#### CL - Lecture 3d - Using Venn Diagrams to show a Syllogism is Sound

Given a syllogistic rule, how do we show that it is sound? Here we show that using Venn diagrams.

From  Haoran Peng on October 3rd, 2020 0 likes 445 plays 0

#### CL - Lecture 2.e - Aristotelian Syllogisms. Another Example

In this video, we get syllogisms for free! We see how some simple reasoning allows us to derive three more syllogisms.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 463 plays 0

#### CL - Lecture 2.c - Aristotle’s Universal Propositions

In this video on syllogisms, we present a new form of proposition -- universal denial. Introducing negation gives a new syllogism as an instance of barbara.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 445 plays 0

#### CL - Lecture 2.b - Aristotelian Syllogisms. First Example

This is the third video on Syllogisms. We use Venn diagrams to show that barbara is sound.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 480 plays 0

#### CL - Lecture 2.aa - Aristotelian Syllogisms. Venn diagrams

This is the second video on Syllogisms. We return to discuss the relationship between Euler and Venn diagrams, and introduce some notation.Having watched this video, you should be able to count how…

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 494 plays 0

#### CL - Lecture 2.a - Aristotelian Syllogisms. Euler diagrams

This is the first video on Syllogisms. We start by introducing barbara, the simplest classical syllogism, and the proposition, "all a are b", known as universal affirmation. We briefly …

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 556 plays 0

#### Topic 15: Set theory and its use in Probability Theory (PETARS, Chapter 3)

This video gives the background to set theory which is fundamental for dealing with probability more generally. The video discusses using Venn diagrams as a simple way of proving a number of…

From  James Hopgood on September 23rd, 2020 0 likes 105 plays 0

#### CL - Lecture 1.e - Categorical Propositions

Propositions say something about the world. In this video we define the meanings of some Aristotelian propositions. The meaning is given by defining the validity of a proposition in a universe.…

From  Claudia-Elena Chirita on September 11th, 2020 0 likes 511 plays 0

#### Topic 14: Axiomatic Definition of Probability (PETARS, Chapter 3)

The Kolmogorov axioms are the foundations of probability theory introduced by Andrey Kolmogorov in 1933. Using these axioms, this video shows how many other familiar results can be derived from these…

From  James Hopgood on September 5th, 2020 0 likes 118 plays 0