小不点搜索 登录

哈姆特《逻辑语言与意义》-32-第二章命题逻辑：第三章谓词逻辑：3.6谓词逻辑的语义：3.6.2替换解释法：解释函项I必须是从L中的常项到D项中的满射；个体集也

请输入举报反馈原因