2143 逻辑学的用法之一