4
下面关于「有效性判定：规则法与文恩图」的说法中，正确的是？
解析：本题直接考查「有效性判定：规则法与文恩图」的定义。规则法靠逐条核对规则，文恩图靠画图观察结论是否已被前提蕴含，二者可互为校验。
5
下列表述中，描述的是「今天、昨天、明天」而不是「长大需要时间」的是？
解析：「今天、昨天、明天」与「长大需要时间」同属生命与时间，但前者强调：昨天是已经过去的，今天是正在过的，明天是还没来的。