逻辑学下定义最常用的方法是