逻辑学中定义的方法