Search for tag: "4x"

CL - Lecture 4.i - Reduction 1

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…

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

CL - Lecture 4.j - Reduction 2

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…

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