|
This video is a brief recap of most of the logic we have covered so far. You may find it useful, to jog your memory and check your understanding.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We introduce sequents, where we have finite sets of predicates on both sides of the turnstile.
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We use the rules to reduce a sequent to a conjunction of simple
sequents, sequents that only mentions propositional letters, with no
connectives, and no repetitions — in this example, we…
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
|