# Search for tag: "satisfies"

#### PG_Week6

Physical Geography Week 6 -- welcome video.

From  Simon Tett on February 21st, 2021 0 likes 30 plays 0

#### CL - 20 - syllogisms arrowrule

N/A

From  Haoran Peng on November 30th, 2020 0 likes 140 plays 0

#### CL - 5x - Supplementary on Sequents

This video includes a couple of points from a 2019 review lecture on Sequents.First we discuss how to use reduction to find an inhabited model in which Γ ⊨ Δ, which is equivalent to…

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

#### CL - Barbara

Gentzen's rules provide a complete system that does not require the cut rule. For many logical systems, cut elimination (showing that uses of the cut rule may be eliminated from any sound proof)…

From  Haoran Peng on October 21st, 2020 0 likes 283 plays 0

#### CL - Implication

We derive the implication rule using the rules introduced last week.

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

#### CL - Sequents

We introduce sequents, where we have finite sets of predicates on both sides of the turnstile.

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

#### CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

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

#### CL - Lecture 4.g - Sequents 2

Additional predicates after the turnstile behave similarly.

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 352 plays 0

#### CL - Lecture 4.f - Sequents 1

We interpret additional predicates before the turnstile. These simply express validity in a sub-universe. This means that for any sound rule the corresponding rule with additional predicates is…

From  Claudia-Elena Chirita on October 15th, 2020 0 likes 418 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 466 plays 0

#### CL - Lecture 3a - Contraposition of Propositions

Last week we used object-level contraposition to derive four new syllogisms, starting from Barbara. This week we will use meta-level contraposition to derive two more new syllogisms from each of the…

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

#### CL - 2019 Lecture 2

This is an old recording of Lecture 2, from 2019.

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

#### CL - Lecture 2.d - Negation and Contraposition of Predicates

In this video on syllogisms, we introduce the logic of negation.

From  Claudia-Elena Chirita on September 26th, 2020 0 likes 466 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

#### Computing the Margin

Computing the Margin

From  Nigel Goddard on September 8th, 2016 1 likes 3,165 plays 0