3
下面关于「真值表与重言式」的说法中，正确的是？
解析：本题直接考查「真值表与重言式」的定义。真值表穷尽列出支命题真假组合下复合命题的真值；永远为真的命题形式叫重言式。
4
关于「假言推理：有效式与谬误式」的判定规则与步骤，下列表述正确的是？
解析：这一步是假言推理：有效式与谬误式判定过程的关键环节：否定后件式：由非 q 与「如果 p 那么 q」推出非 p。