4
下列表述中，描述的是「模态命题与模态词」而不是「模态对当关系」的是？
解析：「模态命题与模态词」与「模态对当关系」同属模态逻辑与思维方法，但前者强调：含有「必然」「可能」等模态词的命题是模态命题。
5
关于「假言推理：有效式与谬误式」的判定规则与步骤，下列表述正确的是？
解析：这一步是假言推理：有效式与谬误式判定过程的关键环节：否定后件式：由非 q 与「如果 p 那么 q」推出非 p。