Definition:Main Connective (Propositional Logic)