Search for tag: "venn"

SR course 5.3e - More combining search strings using AND

SR course

From  Ruth McQuillan 0 likes 3 plays 0  

SR course - 5.2g - Combining search strings using AND

SR training

From  Ruth McQuillan 0 likes 7 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 435 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 413 plays 0  

CL - Review 2 - Venn Apples

Venn diagrams on a sphere.

From  Haoran Peng 0 likes 323 plays 0  

CL - Lecture 4d - Disjunction

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

From  Haoran Peng 0 likes 484 plays 0  

CL - Lecture 4c - Conjunction

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

From  Haoran Peng 0 likes 527 plays 0  

CL - Lecture 4a - Aristotle's Rules

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

From  Haoran Peng 0 likes 558 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 490 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 475 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 492 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 485 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 506 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 518 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 605 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 200 plays 0