逻辑学下定义的方法