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 (predicates
coming before the turnstile). Now we introduce multiple succeedents
(predicates coming after the turnstile).
This video introduces the idea of putting multiple predicates to the right of the turnstile.