命题形式~(p→(q←r))等值于()。
第1题:
在下列命题形式中,与p∨q相矛盾的是()。
第2题:
在以下命题形式中,与p→q具有等值关系是()。
第3题:
与(p→q)等值的命题形式有()
第4题:
~(p→(q∨r))等值于()。
第5题:
下列推理形式中,无效的有()。
第6题:
下列与p∨﹁q想等值的命题是()。
第7题:
(~pVq)
~(pV~q)
(q←p)
(~p←~q)
(~q→~p)
第8题:
((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)
第9题:
~((p∧q)→r)
p∧(~q∧~r)
p∧(~q∧r)
p∧(q∧~r)
第10题:
第11题:
P→Q⇔¬Q→¬P
P∨(P∧R)⇔R
P∧(P→Q)⇔Q
P→(Q→R)⇔(P∧Q)→R
第12题:
蕴涵
合取
析取
等值于
第13题:
试例示具有下列命题形式和推理形式的命题或推理. 1.所有S都不是P。 2.要么r,要么s。 3.如果p,那么q;非q;所以非p。 4.所有M都是P,S都是M,所以S都是P。
第14题:
如果一组命题P1…Pn都是真的,那么命题Q也一定是真的。这意味着P()Q。
第15题:
“如果不以事实为根据,或者不以法律为准绳,则不能公正断案”,这个命题的逻辑形式为()。
第16题:
如果命题p与命题q间具有矛盾关系,命题q与命题r间具有反对关系,那么命题p与命题r具有()关系。
第17题:
若“p”、“p∧q”和“~p∨~q”这三个命题形式中只有一个是真的,据此就可以断定变项p、q、r中必然为假的是()。
第18题:
第19题:
第20题:
p∧q
﹁p∧q
p∨q
﹁p∨q
第21题:
﹁(p∧﹁q)
﹁p∨q
﹁(﹁p∧q)
﹁(p→﹁q)
第22题:
(p∨(~q∧r))
(p∧(~q∧~r))
(p∧(~q∨~r))
(p∨(~q∨~r)
第23题:
p∧q
p∨q
(p∨q)→r
(﹁p∧﹁q)→r