如果关系R是反传递性的,则由aRb和bRc为前提,可推出()。
第1题:
当R具有反对称性时,若aRb真,则bRa();当R具有传递性时,若aRb真且bRc真时,则aRc()。
第2题:
以“~(p∨q)←r”为一个前提,若加上另一个前提()。
第3题:
以"只有P才q或r"和"非P"为前提,可必然推出的结论是()。
第4题:
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
第5题:
以“~p”和“p←(q←r)”为前提,可必然推出结论()。
第6题:
从关系的对称性和关系的传递性两方面分析,关系项“选择”具有()。
第7题:
第8题:
对称性、传递性
反对称性、反传递性
非对称性、非传递性
非对称性、反传递性
第9题:
第10题:
“r”,则能必然推出“~p∧~q”
“~p∧~q”,则能必然推出“~r”
“~r”,则能必然推出“p∨q”
“p∨q”,则能必然推出“~r”
“r”,则能必然推出“~p”
第11题:
p←r
~p∨r
q→p
r
~(q←r)
第12题:
p
~s
~r∧p
~r
s→q
第13题:
以(p→(q∧~r))和(~q∨r)为前提进行演绎推理,能必然推出结论()。
第14题:
以“(p→q)→r”和“~r”为前提,可必然推出结论()。
第15题:
以"如果P且q,那么 "和"r" 为前提,可必然推出的结论是()。
第16题:
已知关系R是反对称的、传递的,由aRb真可得知();由aRb真且bRc真可得知()。
第17题:
以“如果p那么q”和“如果r那么s”为假言前提进行二难推理,则推出的结论可以是()或()。
第18题:
第19题:
具有反对称和反传递
具有非对称和非传递
具有对称和反传递
具有对称和非传递
第20题:
~p∧q
r→p
q∨r
~(~p∨q)
~q∧p
第21题:
非P并且非q
P并且q
非P并且q
非P或者非r
第22题:
第23题:
s
﹁q
﹁q∧s
﹁r∧s
(﹁q∨﹁r)∧s