单项选择题
"P当且仅当q"与"要么P要么q"这两个逻辑形式是（）。
A.等值式 B.矛盾式 C.不同的逻辑常项和变项 D.相同的逻辑常项和变项
单项选择题 "p→q"为假时，可以断定（）为真。
填空题 不相容选言推理的正确形式是（）和（），相容选言推理的正确形式是（）。
填空题 选言推理就是（）中有一个是选言判断的推理。
