Bài tập môn lôgic học đại cương

Viết một công thức biểu thị phán đoán theo bảng giả tị sao cho a,b,c chỉ có mặt một lần trong phán đoán và không dùng phép suy diễn ở bài a (hay không dung phép logic đã dung ở a) 8.
Nội dung trích xuất từ tài liệu:
Bài tập môn lôgic học đại cươngBàitậpChươngIHãybiểuthịcáctưtưởngsaudướidạngkíhiệu 1. Trămsôngđềuđổrabiển 2. Nướcchảyđámòn 3. Ănkĩnolâu,càysâutốtlúa 4. Nhàsạchthìmát,bátsạchngoncơm 5. Chânướtchânráo 6. Cáirăngcáitóclàgócconngười 7. Mộtđờilàmhại,bạihoại3đời 8. Yêutrẻ,trẻđếnnhà Yêugià,giàđểphúc 9. Quađìnhngảnóntrôngđình Đìnhbaonhiêungóithươngmìnhbấynhiêu 10. Nhữngngườithắtđáylưngong Vừakhéochiềuchồng,lạikhéonuôicon Nhưngngườibéotrụcbéotròn Ănvụngnhưchớp,đánhconcảngày. 11. Ngônngũlàphươngtiệnhìnhthành,gìngiữu,chuyểngiaothôngtintừ thếhệnàysangthếhệkhác,phươngtiệngiaotiếpgiữamọingười. 12. Cócôngmàisắtcóngàynênkim 13. Cóchíthìnên 14. NướcVNlàmsaocóthểlớnnếunhưchúngtakhôngchấpnhậnvàủnghộ nhữnggiấcmơlớn,nhữngkhátvọnglớn 15. Ănquảnhớkẻtrồngcây 16. Uốngnướcnhớnguồn 17. Chungstakhôngthểnângcaochấtlượnggiáodụcnếukhôngxâydựng đượcđộingũgiáoviênđủtiêuchuẩn 18. Chúngtachỉcóthểxóađóigiảmnghèomộtkhicôngnghiệphóa,hiệnđại hóađấtnước. 19. Dùainóingảnóinghiêng Lòngtavẫnvữngnhưkiềng3chân. BàitậpChương3:PhánĐoán 1. Chocáccặpkháiniệm: a. “kháiniệm”và“kháiniệmđơnnhất” b. “độngtừ”và“từchỉhànhđộngcủasựvật” c. “Thanhniệm”và“ngườilaođộngtríóc” d. “triếthọcduyvật”và“triếthọcduytâm” - Xâydựngcácphánđoánchânthựctừnhữngcặpkháiniệmđó - Xđquanhệvàmôhìnhhóaquanhệgiwuax2thuậtngữtrongtừngphán đoánvừaxâydựngđược. - Xđtínhchudiêncủa2thuậtngữtrongtừngphánđoánvừaxâydụng được. - Tìmnộihàmvàngoạidiên“độngtừ” 2. Xâydựngcácphánđoántheo“hìnhvuônglogic”từphánđoánsau: a. “phánđoánchunglàphánđoántrongđóngoạidiêncủachủngữbao gồmtoànbộlớpđốitượng” b. Xđgiátrịlgiccủacácphánđoánvừaxâydụngđượctrêncơsởgiá trịlogiccủaphánđoánchotrước. 3. Viếtcácphánđoánđẳngtrịvớicácphánđoánsau: a. “Cửnhânphảil nhữngngườicótri th ứcchuyênm ôncao,vừacó à đạođứctốt” b. Chúngta khôngth ểnângcaotrì h độtưduyl i nếukhôngnắm n og c th ậtvữngtri th ứcl i học” og c c. “chúngta phảipháttri ểnKThoặckhôngbaogiờtiếnkịpcácnước ti tiến” ên 4. Chocácphánđoánđượcbiểuth ịnhưsau: - m1 =a^ b>c m 2=(a^ b>c)>(a^ b>c)>(b^ a>c) m 3=(a^ b>c)^(a^ b>c)^(b^ a>c)Hỏi: a. Vớic–chânth ực(c) vàvớimọigi tr ịcủaa,btrong tấtcảcác á phánđoánth ìm 1cóquanhệnhưth ếnàovớim 2vàm 3 b. Vớiab,ccógi tr ịl i bấtkìth ìm 1 a og c cóquanhệvớim 2vàm 3 nhưth ếnào? 5. a.V iếtcôngth ứccảuphánđoántheobảnggi tr ịsausaochoa,b,cchỉ á cómặtmộtlầntrong phánđoán a b c m c g c c c g c c g c c c g c c cb.V iếtcôngth ứccủaphánđoántheobảnggi tr ịtrên saochoa,b,cchỉcó ámặtmộtlầntrong côngth ứcvàkhôngdùngcôngth ứcđãviếtởphàntrên (haykhôngdungphéptoánl i ởphầntrên . og c6.m1=a>(b^c)m2=7(b^c)m3=a>7(b>7c)a.Tìmcácgiátrịlogiccủam1,nếugiátrịlogiccủaavàbnhưnhau,giátrịlogiccủaclàchânthực.b.nếua,b,ccógiátrịlogicbấtkìthìm1csoquanhệvớim2vàm3nhưthếnào? 7. a.Viếtmộtcôngthứcbiểuthịphánđoántheobảnggiátrịphíadướisao choa,b,cchỉcómặtmộtlầntrongphánđoánM(a,b,c) a b c M c c g g c c c c g c g g g c c cb.Viếtmộtcôngthứcbiểuthịphanđoántheobảnggiảtịsaochoa,b,cchỉcómặtmộtlầntrongphánđoánvàkhôngdùngphépsuydiễnởbàia(haykhôngdungphéplogicđãdungởa) 8. Xđquanhệvàmôhìnhhóaquanhệvàmôhìnhhóaquanhệgiữacácthuật ngữtrongcácphánđoánsau a. Có ...