马工程《逻辑学》71第四章谓词逻辑-第四节谓词逻辑语义-一模型和赋值:赋值确定项代表的个体
发布人