|
This is a raw video from 2019. I've not yet had time to edit it into chunks. If you have any questions, or find any errors, please let me know on Piazza.This lecture introduces a very important…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
We derive the implication rule using the rules introduced last week.
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 simpler
sequents. In this example we find that the expression asserted by the
sequent is a tautology — it is equivalent to the empty…
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 find…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
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…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
The following videos introduce sequents, a far-reaching
generalisation of the idea underlying Aristotle's propositions. We have
already discussed the introduction of multiple antecedents…
Course Code
INFR08025 Licence Type
All rights reserved The University of Edinburgh Language
English
|
|
.
Licence Type
All rights reserved The University of Edinburgh
|
|
.
Licence Type
All rights reserved The University of Edinburgh
|
|
.
Licence Type
All rights reserved The University of Edinburgh
|
|
.
Licence Type
All rights reserved The University of Edinburgh
|
|
.
Licence Type
All rights reserved The University of Edinburgh
|
|
.
Licence Type
All rights reserved The University of Edinburgh
|
|
.
Licence Type
All rights reserved The University of Edinburgh
|
|
.
Licence Type
All rights reserved The University of Edinburgh
|
|
.
Licence Type
All rights reserved The University of Edinburgh
|