判断题 “甲、乙至少有一人参与作案”是选言命题。

判断题 “如果他杀了人，他会被判处死刑；他没有杀人；所以，他不会被判处死刑。”此推理是有效的。

判断题 “如果甲是凶手，则乙不是凶手；所以，如果乙是凶手，则甲不是凶手。”这个推理是无效的。