举报反馈 - 哈姆特《逻辑语言与意义》-34-第二章命题逻辑：第三章谓词逻辑：3.6.3指派解释法：保留命题函项；同时考虑模型和指派；同时赋给所有自由变项同一个所指；项的概念