逻辑哲学 选言判断 联言判断 类属 普通逻辑 共产主义者 本体论承诺 充分必要条件 逻辑结构 负选言判断 负判断 不相容选言判断 性质判断 是马克思主义 复合判断