举报反馈 - 哈姆特《逻辑语言与意义》-17-第二章命题逻辑：2.4函项：计算语义，指派真值，真值赋值函项，函项即赋值，主目或原像，定义域（特定类别的每个个体），值域（被认可