Category:MSC2000 03B05 Classical propositional logic