|
SR course
Licence Type
All rights reserved The University of Edinburgh Date Created
February 22nd, 2023 Retain Source File
Yes
|
|
SR training
Licence Type
All rights reserved The University of Edinburgh Date Created
February 15th, 2023 Retain Source File
Yes
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Venn diagrams on a sphere.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video, we try to arrive at the disjunction rule.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video, we try to arrive at the conjunction rule.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Our first video is a recap of last week's materials.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
Given a syllogistic rule, how do we show that it is sound? Here we show that using Venn diagrams.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
In this video, we get syllogisms for free! We see how some simple reasoning allows us
to derive three more syllogisms.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
This is the third video on Syllogisms. We use Venn diagrams to show that barbara is sound.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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
…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
PGEE11164 Licence Type
All rights reserved Date Created
September 23rd, 2020
|