Simple entailment, soundness, and completeness

At the lecture on Monday 14 March, the time was not sufficient to go through the last couple of slides, concerning the simple entailment rules, and parts of soundness and completeness.

Some of this is important for oblig 5, and the next lecture will be after Easter. Therefore Gosia, will go through this material at the group session on Friday 18 March, 12:15–14:00.