connective (logic)