Logic - Propositional vs Categorical