逻辑学下定义的两种方式有哪些呢