← LECTURE 7: PROPOSITIONAL LOGIC (1)