Definition:Connective of Propositional Logic