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 a single
simple sequent, equivalent to our starting sequent in the sense that
both are valid in the same universes. This shows our starting sequent is
not a tautology. It is simple to provide a counterexample to a simple
sequent, and this provides a counter-example to the strtting sequent.
The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336, VAT Registration Number GB 592 9507 00, and is acknowledged by the UK authorities as a “Recognised body” which has been granted degree awarding powers.
Any views expressed within media held on this service are those of the contributors, should not be taken as approved or endorsed by the University, and do not necessarily reflect the views of the University in respect of any particular issue.