4
下面关于「并用法、共变法和剩余法」的说法中，正确的是？
解析：本题直接考查「并用法、共变法和剩余法」的定义。穆勒五法的另外三种：求同求异并用法、共变法和剩余法。
5
下列表述中，描述的是「可能世界语义学」而不是「严格蕴含与实质蕴含」的是？
解析：「可能世界语义学」与「严格蕴含与实质蕴含」同属模态逻辑与思维方法，但前者强调：可能世界是逻辑上一致的完整世界方案；命题在某个可能世界中取真值。