Chapter 2

The framework: Formal systems

Objectives


After this chapter you should be able to
Key words: Formal language, derivation calculus, formal system, proof, interpretation
Key symbols: $\vdash, \models, \:\ensuremath{\vert\!\!\!\approx}\:$

 

Supplementary material

What is a formal system?

Chapter:

1

2

3

4

5

6

7

8

9

10