What Is Propositional Function In Logic