Week 8 & 9 Classical Logic: Categorical Propositions