3
下面关于「可能世界语义学」的说法中，正确的是？
解析：本题直接考查「可能世界语义学」的定义。可能世界是逻辑上一致的完整世界方案；命题在某个可能世界中取真值。
4
下面关于「有效性判定：规则法与文恩图」的说法中，正确的是？
解析：本题直接考查「有效性判定：规则法与文恩图」的定义。规则法靠逐条核对规则，文恩图靠画图观察结论是否已被前提蕴含，二者可互为校验。