例题
题目下面关于「可能世界语义学」的说法中，正确的是？
A. □p、◇p 与其否定之间构成类似逻辑方阵的制约关系。 B. 形式逻辑保证思维不发生自相矛盾；辩证思维则进一步考察对象的运动、变化与内在矛盾。 C. 逆向思维从常规思路的反方向寻找方案，用以突破思维定势。 D. 可能世界是逻辑上一致的完整世界方案；命题在某个可能世界中取真值。
A. □p、◇p 与其否定之间构成类似逻辑方阵的制约关系。 B. 形式逻辑保证思维不发生自相矛盾；辩证思维则进一步考察对象的运动、变化与内在矛盾。 C. 逆向思维从常规思路的反方向寻找方案，用以突破思维定势。 D. 可能世界是逻辑上一致的完整世界方案；命题在某个可能世界中取真值。
逐项解析
- A 项不选：□p、◇p 与其否定之间构成类似逻辑方阵的制约关系。该表述属于相邻知识点的内容，或把结论说绝对了。
- B 项不选：形式逻辑保证思维不发生自相矛盾；辩证思维则进一步考察对象的运动、变化与内在矛盾。该表述属于相邻知识点的内容，或把结论说绝对了。
- C 项不选：逆向思维从常规思路的反方向寻找方案，用以突破思维定势。该表述属于相邻知识点的内容，或把结论说绝对了。
- D 项正确：可能世界是逻辑上一致的完整世界方案；命题在某个可能世界中取真值。这一点与本知识点完全一致。
小结
本题答案是 D。本题直接考查「可能世界语义学」的定义。可能世界是逻辑上一致的完整世界方案；命题在某个可能世界中取真值。
举一反三遇到同类题目时，先定位考查的是「可能世界语义学」的哪一层含义：是必然：在所有可及的可能世界中都真，还是它在实际使用中的边界条件。