Search for tag: "venn"

6 combine using and

SR course

From  Ruth McQuillan 0 likes 2 plays 0  

7 combine using AND

SR training

From  Ruth McQuillan 0 likes 4 plays 0  

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 0 likes 432 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 0 likes 410 plays 0  

CL - Review 2 - Venn Apples

Venn diagrams on a sphere.

From  Haoran Peng 0 likes 318 plays 0  

CL - Lecture 4d - Disjunction

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

From  Haoran Peng 0 likes 475 plays 0  

CL - Lecture 4c - Conjunction

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

From  Haoran Peng 0 likes 522 plays 0  

CL - Lecture 4a - Aristotle's Rules

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

From  Haoran Peng 0 likes 551 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 0 likes 485 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 0 likes 466 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 0 likes 482 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 0 likes 477 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 0 likes 502 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…

From  Claudia-Elena Chirita 0 likes 515 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 0 likes 601 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 0 likes 185 plays 0