Progress report

I have introduced our formal calculus (except the inference rule PC).

Thursday I will a crash course on propositional logic. Thereafter I will talk more about PC. If time permits, I will also discuss the proofs of Theorem 2.7.1 and Lemma 2.7.2.