3
关于「假言推理：有效式与谬误式」的判定规则与步骤，下列表述正确的是？
解析：这一步是假言推理：有效式与谬误式判定过程的关键环节：否定后件式：由非 q 与「如果 p 那么 q」推出非 p。
4
下列表述中，描述的是「思维形式的构成」而不是「同一律」的是？
解析：「思维形式的构成」与「同一律」同属传统形式逻辑导论，但前者强调：任何思维形式都由逻辑常项与逻辑变项两部分构成。