What is propositional classical logic? (a Study in Universal logic)