Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
proof_theory [2014/03/28 00:18] nikolaj |
proof_theory [2014/03/28 00:19] nikolaj |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| In the proof theoretic logic, we use a variable which represents a collection of object language formulae, called //context//, and generally denoted $\Gamma$. Moreover, we then must deal with several notion of "and": We possibly have a notion of conjunction in the object language (generally written $\land$), but we also need two conjunctions in the meta language: A gap in the top line denotes a conjunction of premises as introduces in [[Logic]], and a comma between formulae denotes a conjunction which arises from such a gap in a rule of the object language. | In the proof theoretic logic, we use a variable which represents a collection of object language formulae, called //context//, and generally denoted $\Gamma$. Moreover, we then must deal with several notion of "and": We possibly have a notion of conjunction in the object language (generally written $\land$), but we also need two conjunctions in the meta language: A gap in the top line denotes a conjunction of premises as introduces in [[Logic]], and a comma between formulae denotes a conjunction which arises from such a gap in a rule of the object language. | ||
| - | there are dozens of proof theories, of course, but in the following we present some rules of a traditional one. The rules are all pretty intuitive, here the simplest ones: | + | There are dozens of proof theories, but in the following we present some rules of a traditional one. The rules are all pretty intuitive, here the simplest ones: |
| ^ ${\large\frac{}{\phi\vdash\phi}}(identity)$ ^ | ^ ${\large\frac{}{\phi\vdash\phi}}(identity)$ ^ | ||
