形式逻辑中下定义的方法用的是属、加、种、差。