What Is A Propositional Variable In Logic