7
下列表述中,描述的是「可能世界语义学」而不是「严格蕴含与实质蕴含」的是?
解析:「可能世界语义学」与「严格蕴含与实质蕴含」同属模态逻辑与思维方法,但前者强调:可能世界是逻辑上一致的完整世界方案;命题在某个可能世界中取真值。
9
关于「有效性判定:规则法与文恩图」的判定规则与步骤,下列表述正确的是?
解析:这一步是有效性判定:规则法与文恩图判定过程的关键环节:文恩图适合直观呈现词项关系。