Search for tag: "satisfies"

PG_Week6

Physical Geography Week 6 -- welcome video.

From  Simon Tett 0 likes 30 plays 0  

CL - 20 - syllogisms arrowrule

N/A

From  Haoran Peng 0 likes 144 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 0 likes 22 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 0 likes 289 plays 0  

CL - Implication

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

From  Haoran Peng 0 likes 385 plays 0  

CL - Sequents

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

From  Haoran Peng 0 likes 341 plays 0  

CL - Review 1 - Contraposition

We show the intuition of contraposition using Venn diagrams.

From  Haoran Peng 0 likes 350 plays 0  

CL - Lecture 4.g - Sequents 2

Additional predicates after the turnstile behave similarly.

From  Claudia-Elena Chirita 0 likes 356 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 0 likes 424 plays 0  

CL - Lecture 4d - Disjunction

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

From  Haoran Peng 0 likes 472 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 0 likes 727 plays 0  

CL - 2019 Lecture 2

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

From  Claudia-Elena Chirita 0 likes 196 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 0 likes 481 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 468 plays 0  

Computing the Margin

Computing the Margin

From  Nigel Goddard 1 likes 3,860 plays 0