4
下列表述中,描述的是「可能世界语义学」而不是「严格蕴含与实质蕴含」的是?
解析:「可能世界语义学」与「严格蕴含与实质蕴含」同属模态逻辑与思维方法,但前者强调:可能世界是逻辑上一致的完整世界方案;命题在某个可能世界中取真值。
7
下面关于「有效性判定:规则法与文恩图」的说法中,正确的是?
解析:本题直接考查「有效性判定:规则法与文恩图」的定义。规则法靠逐条核对规则,文恩图靠画图观察结论是否已被前提蕴含,二者可互为校验。
8
在学习「直言命题的四种形式」时,下列哪一项属于应当避免的错误认识?
解析:这是典型的误解。按质与量的组合,直言命题分为全称肯定(A)、全称否定(E)、特称肯定(I)、特称否定(O)四种。