邏輯學基礎教程課后練習題答案

1、邏輯學基礎教程課后練習題答案BACB“所有”，（BACBBABC”?！??！??！?。rAB”，那么ABABBA”，那么ABAABC負ABABABCABCABCCACBCABCPAPBPCPPAAAABC負CABCCACCACBBAACBCABCABCAABCECACBEABABAEABCECEABCECACBEABCBCDEABCEACBEABABAABBABCBABAEABABCECEABECBCABCEEABCE”）B設AABACEBABABEABCABCEABC不E不ADEABCEAB）。ABC）。ABC），他爸）。ABCABC）。ABC）。ABC）。ABCA,1CAD2BACBD3BCAA

2、BCDBACD456解：1SP2S的內涵較多。因為它的外延較嗇鬼”。）。）。SI為真）。ESSEISSISEPCACBABSEPCSIPACBACBCABCPESABAPCAPESSEPPESPAIPBABCBABCBABCACB“因為AABCSEESESACBAABCAACEB（）、（ABBAABDEABABECABDEABEC“ES”與“BCABECBCASIBSECSIPESEPAEIAIBAIEECIABSIPESIPCSEPACACBE設“有”和“有”均真，則BEACEBABABACAABCBABEABACBEACDEACBESEPACDEACISBPESESEPISSEPISSIS

3、EPPESPAIPSEPPESPAIPPIABDABCEACDEAAPECBSIPESEPIPBDEACSEPBSIPSEPE“某阿IPESPAIPSISIPSIPSIPPISABCACBCCAABC答：“有EIOEAEEMIPSIP）。BACBBDACBEAOEAOEEAOEAOEAOACBBACBBACBMEPSIPCABC，所有BAEIOCEIOBEIOEIOCAMIPBCABABC第CASEMBCMISABCPEMAAICABC第CABMEPCCACB（）、（EABABC都ECEASIMBCMEPMISPIMMESEMEPASIPSIMECDABCEABECCEABC不EAEABCEA

4、EAEAEEEAEBAEECEEAEABCABCEADEAAAAAIIBAEEEEIOCEAABCDAAAAEIOBEAEECAEEABDEAMIPBCEPIMSEABDEAEAEAAAAAIBCEEAOAB）“所有MSPMSPMSPA；（B）“有些M,MSPSMPA）“所有B）“SMPA全異；（B）“有M,SPMSPEIEIEEEIIIPEMSEP”，MEPSEPABCABCBACABCABCCEABE證明：（(ACCBBC(AB)ABBAEB)EB)E）、（）、（）、（）、（）、（），），ABCCABDCCABABDCABABDABCBBCABCABCBACAAIAAAAAIEAEAEEE

5、IOEAEMEPSEPAEESEMSEPEAEAEEEIOPEMMISEIOABCABCCACBBACBABBCCAABCBCBBCACAAACABAACArCrBrr)ABC命題”。CArCBrBA(BB)(AC)(AA)=pCABB)(AC)CABCrrCACBEABCECABCE（）、（EABCEABCE（）、（ABABr)rCr)r)rErrACEBDEACBECDABCE(rBDEArBrErC(r(r(r(rrrrs(rBEABCEABCEACABCqEABCE、（、（rrCDACBEr)rBDEABCEBCDABCqEr、（、（rrBCDEACBE”。（jkjkkkjj）、（）、

6、（全異”、交叉”、SPMSPMBBABCBCABBrABCrr）、（）、（B相容”、“C全異”、“BABABDCABCABCABCCABABCrrr）、（）、（）、（r）”。rrr）、（）、（）、（）、（r)r）、（）、（）、（r）、（）、（r）、（）、（ABAABBABABrABrrrr）、（）、（）、（）、（Ar)r)rrrrrrrrABCDEABCBCEEABCDErr）、（r）、（）、（）、（AB錄?。?。（真）。）。rr）。r)）。ABCAACBCABCCABCBABCBABCrrCABCABCEAABCEBABCEBABCDEABCEACDEABCErABEABCEr)CDEABCr

7、Er)rrADEACBE(pq)(pq)(pq)(pq)FTFTFFFTTTTTTTTF(pq)A(AB)AA(AB)AABAAA(AB(AB)B)A+A(AB)A(AB)AB)(AB)AB)ABABABAB(AB)AB)(AB)AB)AAAAAArArrrr)r)rrr)r)r(pq)r(pq)r)r(pq)(pq)rr)(pq)r)(pq)rr(pq)r(pq)r)(pq)r)(pq)(pq)rrr)(pq)r)(pq)rB)D)B)D)（1由111110（2由ABC）。B(AB)C)D)B(AB)C)D)BC)(AC)0假）11由00由1由）11由(AB)C)D)BC)(AB)C)D)B

8、ABC(C(A(BA)B(C(A(BA)A)B(AB)(BC)(CFTTTTTTTTTTFTTFFTT(C(A(BA)A)BTTTTFTTTTTTTTTFTTTTTFTTTTTTTTTFTFFFTTrr)(rrrrr)(r(pq)(qr)rTTr)(rrr)r)(rrrABCABCABCABCABCABCABCABCrABCrrrABCr），則rs(rr)ABC）。(AA(AB)CABCBC)DABC)D(AB)C)(BC)A注意：（q=r)FT）。T)FT(FFFTT)(AE)(ABC)E(AE)ABCABAEEEGFEHGFEFGFFGHABABA(CE)ACE)A(CE)ACABCECC

9、ECEACE)ACEFAFACEFAABCEFAFAC(AC)BEBEAC(AC)BEBE(AB)CABCAC)ABC)EBEA(BC)(AC)CA(BC)(AC)ACA(BC)CCR）。R假）；由真）。BABCCCA+=+CBEACBECEABCECDABCECEACBECDACBE答：“注意，（+=FGx(FxGx)FGx(FxGx)FGHx(FxGxFR(x,x(FxR(a,FGHR(x,x(FxR(x,FGR(x,x(FxR(x,FR(x,x(FxR(a,x(Rx(RxxRx)xRxxRx)RxyR(x,yR(x,R(x,y(R(x,Gx)zR(x,(R(x,Gx)(R(x,Gx)R(

10、x,P(x,P(x,P(x,H(x,JYL(x,x(JxCACBAABCeqoac(,?)eqoac(,?)AACBSEPCeqoac(,A)eqoac(,C)SIPBSEPeqoac(,D)SIPSEPSEPSIPAAeqoac(,?)SEPeqoac(,C)Beqoac(,?)SIPSIPeqoac(,?)SEPSEPCACBAACB”，“并非可能非BACBCABCAACBeqoac(,”)SISOPeqoac(,)SISOPeqoac(,)SI”。“可能”。SEMPSEPPSEPSEMPSEP”。SIPSEP為（假）。ACBBACSIPBSEPSIPBABCABC”，則（CACBeqoa

11、c(,6)eqoac(,p)”，則（ACBACBASIPeqoac(,C)eqoac(,p)BSIPAACBBACBECEACBEAEASIPSEPeqoac(,C)eqoac(,p)BSEPeqoac(,D)eqoac(,p)ESIPSEPCEABCEACABCEAAABDEAABCABEABBABABBCDEeqoac(,A)eqoac(,p)Beqoac(,p)eqoac(,C)eqoac(,D)eqoac(,p)Eeqoac(,p)ABDABCEADEASIeqoac(,C)eqoac(,p)BSEeqoac(,D)EDEASIBAPEPeqoac(,C)EEPAISSIPPAPESSEPISSISEPPAISHEE”。ABDEACBEABABABABABAAAB說：“