逻辑学作业
1下列公式是对当关系推理的有效式,其中根据反对关系进行推理的是（）.
ASAP→ØSOPBSEP→ØSAPCØSIP→SOPDSEP→ØSIP
2下列公式是判断变形直接推理的有效式,其中（）是换质位推理.
ASIP→ØSOPBSAP→PISCSEP(-)→P(-)ESDSEP→P(-)IS
3一个有效的换质位推理,若结论为PES,则其前提应为（）.
ASAP(-)BSOPCSEP(-)DSOP(-)
4若以S(-)EP(-)为前提,运用判断变形的直接推理,则必须推出的结论是（）.
ASAPBSIPCSEPDSOP
5如果一个三段论的小前提为否定前提,那么其大前提应为（）.
AMAPBPEMCPAMDMOP
6“逻辑学是科学,而科学是发展的,所以,逻辑学是发展的”.这是三段论的（）.
A第一格AAA式B第一格IAI式C第四格AAA式D第四格IAI式
7如果aRb真且bRa真,aRb真且bRc真,但aRc假,那么R是（）.
A对称的且传递的B对称的但反传递的
C反对称的但传递的D对称的但非传递的
8如果aRb真但bRa假,aRb真且bRc真,且aRc真,那么R是（）.
A对称的且传递的B对称的但反传递的
C反对称的但传递的D反对称的且反传递的
9若一个第三格有效三段论的大前提为MAP,小前提为MAS,则结论应为（）.
ASAPBSIPCSEPDSOP
10如果aRb真但bRa假,aRb真且bRc真,但aRc假,那么R是（）.
A对称的且传递的B对称的但反传递的
C反对称的但传递的D反对称的且反传递的
11以p(-)Úq(-)Úr(-)与p为前提进行推理,其结论应该为（）.
AqÚrBqÙrCq(-)Úr(-)Dq(-)Ùr(-)
12以“如果pÙq,那么r”与“r(-)”为前提,可必然推出结论（）.
ApÙqBp(-)Ùq(-)CpÚqDp(-)Úq(-)
13以“必然p”为前提,可必然推出结论（）.
A必然非pB可能非PC可能pD不可能p
14以“如果甲和乙都不是作案者,那么丙是作案者”为一前提,若在加上下面（）做前提,可必然推出“乙是作案者”的结论.
A丙不是作案者B甲和丙都是作案者C甲是作案者D甲和丙都不是作案者
15与简单枚举法相比,科学归纳法的结论可靠程度（）.
A较低B较高C相同D有高有低
邮箱： 