（√）当今逻辑学中，有内涵并不一定是有外延的，但有外延的一定有内涵