diff options
Diffstat (limited to 'content/zettel/4c2b.md')
-rw-r--r-- | content/zettel/4c2b.md | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/content/zettel/4c2b.md b/content/zettel/4c2b.md new file mode 100644 index 0000000..c670e08 --- /dev/null +++ b/content/zettel/4c2b.md @@ -0,0 +1,13 @@ ++++ +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) $$ |