问题：
[填空题] 与p∧﹁q相矛盾的蕴涵式是（）。
问题：
[填空题] 二难推理简单构成式的两个假言前提的前件（）、后件（），简单破坏式的两个假言前提的前件（）而后件（）。
问题：
[填空题] 以“如果p那么q”和“如果r那么s”为假言前提进行二难推理，则推出的结论可以是（）或（）。
问题：
[填空题] 以p→（）和q为前提进行推理，结论是（）。
问题：
[单选] 在以下命题形式中，与p→q具有等值关系是（）。
p∧q。﹁p∧q。p∨q。﹁p∨q。
问题：
[单选] “张云不是钢铁工人，也不是石油工人”与“如果张云是钢铁工人，那么张云不是石油工人”，这两个命题在真值方面（）
可同真并且可同假。可同真但不可同假。不可同真但可同假。不可同真并不可同假。
问题：
[单选] 在下列命题形式中，与p∨q相矛盾的是（）。
﹁p∨﹁q。﹁p→q。﹁p∧﹁q。p←q。
问题：
[单选] 下列与p∨﹁q想等值的命题是（）。
﹁（p∧﹁q）。﹁p∨q。﹁（﹁p∧q）。﹁（p→﹁q）。
问题：
[单选] 当p∨﹁q和p↔q仅有一真时，则下列命题形式为真的是（）。
p∧q。p∧﹁q。﹁p∧q。﹁p∧﹁q。
问题：
[单选] 在下列各组命题形式中，具有不可同真但可同假关系的是（）。
SAP与SOP。p→q与﹁p→﹁q。p∨q与﹁p∨﹁q。p∧q与p∧﹁q。
