性质判断 普通逻辑 必然性推理 逻辑形式 肯定判断 逻辑学 谓项 自然语言