+++
title = "Sequent definition"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["4c2a"]
forwardlinks = []
zettelid = "4c2b"
+++

The sequent $\vdash$ can be interpreted in classical logic as follows:

$$ A_1, A_2, ..., A_n \vdash B_1, B_2, ..., B_m \equiv (A_1 \land A_2\ \land... \land\ A_n) \rightarrow (B_1 \lor B_2\ \lor ... \lor\ B_m) $$