635逻辑演绎