Propositional Logic Symbol Philosophy