BàitậpchươngmônToánrờirạc1

Chương1Logic

Bài1Mệnhđềnguyêntốlàgì?Nêucácphéptoánlogicmệnh đề?Thế nàolàbảng chânlý

của phéptoánlogic?Thế nào là chứngminhdùng bảng chânlý?Thế nàolàhằng đúng,hằng sai?Thế nàolà2mệnhđềtương đương?Nêucáccáchchứngminh2mệnh đềtươngđương?

Bài2Mộtcông thứclogiccó các phéptóanphủđịnh,tuyển,hộicó thểthaythếbằng công thứctươngđươngchicóphéptoánphủđịnhvàtuyểnđượckhông?Tại sao?Tạosao gọi hệ gồmhaiphéptoánphủđịnhvà tuyểnlàđầyđủ?

Bài3Vịtừlàgì, cóphảivịtừlàmệnhđề không?Khi nàovị từsẽtrởthànhmệnhđề?Có

các lượng từnào?Cóthểthaythếlượng từnàybằng lượng từkiavớiphépphủđịnhnhưthế nào?Thếnào là biếntựdocủa vị từ vàbiếntróibuộccủalượng từ?Khinàobiểuthức lượng

từlàmệnhđề?Logicvịtừkháclogicmệnhđề ở chỗnào. Khảnăng biểudiễncủalogic nào

tốthơn.

Bài4Cácluậtsuydiễncủa logicmệnhđềcònđúng tronglogicvị từkhông?Nêumộtsố

luật củalogicvị từ?Chobiếtphủ địnhcủamệnhđềcólượngtừđược xâydựngnhưthếnào? Cácbàitậptựgiảitrong giáotrìnhbàitập1,2,5,8,9,10,11trang 10..16

Chương2Các phươngphápchứngminh

Bài1Luậtsuydiễnlàgì?Thếnào là chứng minhdùng luậtsuydiễn?Uudùngluậtsuydiễn

tốthơn dùngbảng chânlý?Nêutênmột sốluậtsuydiễncủa Logicmệnhđề?

Bài2Nêucácphương pháp chứng minhđịnhlý?Chovídụvềcácphươngpháp chứng minh.

Bài3Quytắcsuyluậnnàođượcdùng trong mỗilập luậnsau :

a.NhữngconkanguroosốngởAustralialàloàithúcótúi.Dođó,kanguroolàloàithúcó túi.

b.Hoặchômnaytrờinóngtrên100độhoặclàsựônhiễmlànguyhại.Hômnaynhiệtđộ ngoài trờithấphơn100độ.Dođó,ônhiễmlànguyhại.