给命题变元 p, q, r , s 分别指派真值 1 , 1 , 0 , 0 , 则命题公式 p ∨(q→(r ∧┐p))↔ q ∨┐s 的真值为0.
第1题:
关于派氏公式,以下正确的公式是( )。
A.Kp=(∑q1p1)/(∑q1p0)
B.Kp=(∑q0p1)/(∑q0p0)
C.Kp=(∑q1p0)/(∑q1p1)
D.Kp=(∑q1p1)/(∑q0p0)
第2题:
在以下二难推理中,无效式是()
第3题:
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
第4题:
试例示具有下列命题形式和推理形式的命题或推理. 1.所有S都不是P。 2.要么r,要么s。 3.如果p,那么q;非q;所以非p。 4.所有M都是P,S都是M,所以S都是P。
第5题:
设“如果(非p或非q),那么(r或s)”和“非r并且非s”为两个真命题,则以它们为论据可以证明()。
第6题:
无论给逻辑变项p、q赋以何种真值,“p→(q→p)”这一命题形式的真假情况都是()的。
第7题:
p并且q
非p并且非q
并非(如果p,那么非q)
p或q
并非(只有非p,才q)
第8题:
第9题:
((p∨~q)∧q)→~p
((p∧q)∧r)→(p∧r)
((~p→q)∧q)→~p
((p→q)∧(r∧p))→q
(p→q)∧(r→s)∧(q∨s))→(p∨r)
第10题:
第11题:
①④⑤
①②④
②③⑤
②④⑤
第12题:
(p∨q)∧p├﹁q
(pqr)∧﹁p├q∧r
(pqr)∧﹁p├qr
(p∨q∨r)∧﹁p├q∨r
(p∨q∨r∨s)∧(﹁p∧﹁q)├r∨s
第13题:
第14题:
命题形式~(p→(q←r))等值于()。
第15题:
在下列选言推理形式中,无效的有()。
第16题:
如果命题p与命题q间具有矛盾关系,命题q与命题r间具有反对关系,那么命题p与命题r具有()关系。
第17题:
下列推理形式中,无效的有()。
第18题:
第19题:
第20题:
∑p0q1/∑p0q0
∑p1q0/∑p0q0
∑p1q1/∑p1q0
∑p1q1/∑p0q1
第21题:
~((p∧q)→r)
p∧(~q∧~r)
p∧(~q∧r)
p∧(q∧~r)
第22题:
(((p→q)∧(r→s))∧(p∨r))→(q∨s)
(((p→q)∧(r→s))∧(∨)
((p→q)∧(p→r))∧(∨))→p
(((p→q)∧(r→q))∧(p∨r))→q
第23题:
~(p∨q),能必然推出(~r∨~s)
(~r∨~s),能必然推出(p∨q)
(p∨q),能必然推出~(r∧s)
~(r∧s),能必然推出(~p∨~q)
第24题: