blob: c670e08fc7344044bb1522ad088a30e774b84ef5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
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) $$
|