4
关于「假说与假说的检验」的判定规则与步骤，下列表述正确的是？
解析：这一步是假说与假说的检验判定过程的关键环节：由假说推出可观察的推断，再与实际比较。
5
下列表述中，描述的是「可能世界语义学」而不是「严格蕴含与实质蕴含」的是？
解析：「可能世界语义学」与「严格蕴含与实质蕴含」同属模态逻辑与思维方法，但前者强调：可能世界是逻辑上一致的完整世界方案；命题在某个可能世界中取真值。