填空题
非对称;非传递
判明下列公式哪些属于永真式、哪些属于协调式、哪些属于矛盾式。(p∧﹁p)∨(p∧q)。
问答题判明下列公式哪些属于永真式、哪些属于协调式、哪些属于矛盾式。(p∧﹁p)∨(p∧q)。
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。A.二难推理的简单构成式 B....
多项选择题以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。
以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是()。A.sB.﹁qC.﹁q∧sD...
多项选择题以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是()。
A.s B.﹁q C.﹁q∧s D.﹁r∧s E.(﹁q∨﹁r)∧s