逻辑学中对现实有用的