判明下列公式哪些属于永真式、哪些属于协调式、哪些属于矛盾式。（p∧﹁p）∨（...

问答题判明下列公式哪些属于永真式、哪些属于协调式、哪些属于矛盾式。（p∧﹁p）∨（p∧q）。

做它的真值表
所以，（p∧﹁p）∨（p∧q）是协调式。

1.多项选择题以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有（）。

A.二难推理的简单构成式
B.二难推理的复杂构成式
C.选言推理的肯定否定式
D.选言推理的否定肯定式
E.联言推理的组合式

2.多项选择题以﹁p→（q∧r）为一个前提，如果要必然地推出p∧s，则可增加的另一个前提是（）。

A.s
B.﹁q
C.﹁q∧s
D.﹁r∧s
E.（﹁q∨﹁r）∧s

3.多项选择题以r←（p∨q）为一个前提，如果要有效地推得r，则可增加的另一个前提为（）。

A.p
B.q
C.﹁p
D.﹁q
E.p∨q

4.多项选择题当p→q、q→p和﹁p∨﹁q三个公式均真时，下列公式取值为真的是（）。

A.p→﹁q
B.﹁p→q
C.q→﹁p
D.p↔q
E.﹁p∧﹁q

5.多项选择题当p→﹁q取值为假时，下列形式中取值为真的是（）。

A．p→q
B．p←q
C．p∧q
D．p∨q
E．p↔q

6.单项选择题在下列各组命题形式中，具有不可同真但可同假关系的是（）。

A.SAP与SOP
B.p→q与﹁p→﹁q
C.p∨q与﹁p∨﹁q
D.p∧q与p∧﹁q

7.单项选择题当p∨﹁q和p↔q仅有一真时，则下列命题形式为真的是（）。

A.p∧q
B.p∧﹁q
C.﹁p∧q
D.﹁p∧﹁q

8.单项选择题下列与p∨﹁q想等值的命题是（）。

A.﹁（p∧﹁q）
B.﹁p∨q
C.﹁（﹁p∧q）
D.﹁（p→﹁q）

9.单项选择题在下列命题形式中，与p∨q相矛盾的是（）。

A.﹁p∨﹁q
B.﹁p→q
C.﹁p∧﹁q
D.p←q

10.单项选择题“张云不是钢铁工人，也不是石油工人”与“如果张云是钢铁工人，那么张云不是石油工人”，这两个命题在真值方面（）

A.可同真并且可同假
B.可同真但不可同假
C.不可同真但可同假
D.不可同真并不可同假