BM KHMT, Khoa CNTT, ĐH KHTN TP HCM GVLT Bùi Thị Danh 1 BÀI TẬP LOGIC BẬC NHẤT 1) Viết các phát biểu sau đây ở dạng logic bậc nhất? a) Paris và Masseiles đều ở Pháp b) Có một quốc gia giáp cả Iraq và P[.]
BM KHMT, Khoa CNTT, ĐH KHTN TP.HCM BÀI TẬP LOGIC BẬC NHẤT 1) Viết phát biểu sau dạng logic bậc nhất? a) Paris Masseiles Pháp b) Có quốc gia giáp Iraq Pakistan c) Những quốc gia giáp với Ecuador nằm Nam Mỹ d) Không vùng Nam Mỹ giáp với vùng châu Âu e) Không có quốc gia giáp có chung màu 2) Cho kí hiệu sau đây: 𝐶𝑜𝑝𝑦𝑂𝑓(𝑑, 𝑎): vị từ, đĩa 𝑑 chép album 𝑎 𝑂𝑤𝑛𝑠(𝑝, 𝑑): vị từ, người 𝑝 sở hữu đĩa 𝑑 𝑆𝑖𝑛𝑔𝑠(𝑝, 𝑠, 𝑎): vị từ, album 𝑎 có chứa ghi âm hát 𝑠 hát người 𝑝 𝑊𝑟𝑜𝑡𝑒(𝑝, 𝑠): vị từ, người 𝑝 viết hát 𝑠 𝑀𝑐𝐶𝑎𝑟𝑡𝑛𝑒𝑦, 𝐺𝑒𝑟𝑠ℎ𝑤𝑖𝑛, 𝐵𝐻𝑜𝑙𝑖𝑑𝑎𝑦, 𝐽𝑜𝑒, 𝐸𝑙𝑒𝑎𝑛𝑜𝑟𝑅𝑖𝑔𝑏𝑦, 𝑇ℎ𝑒𝑀𝑎𝑛𝐼𝐿𝑜𝑣𝑒, 𝑅𝑒𝑠𝑜𝑙𝑣𝑒𝑟: số Viết phát biểu sau sang dạng logic bậc nhất? a) Gershwin viết hát “The man I love” b) Gershwin không viết hát “Eleanor Rigby” c) Hoặc Gershwin Mc Cartney viết hát “The man I love” d) Joe viết hát e) Joe sở hữu Resolver f) Các hát mà Mc Carterney hát Resolver viết Mc Cartney g) Gershwin khơng viết hát Resolver h) Các hát mà Gershwin viết ghi âm album (có thể có nhiều hát ghi âm album khác nhau) i) Có album chứa tất hát mà Joe viết j) Joe sở hữu có Billie Holiday hát “The man I love” k) Joe sở hữu tất album có hát hát Mc Cartney (mỗi album có đĩa CD riêng biệt) l) Joe sở hữu tất album có tất hát hát Billie Holiday 3) Cho KB đây: Ngựa, bò lợn động vật có vú Con ngựa ngựa Bluebeard ngựa Bluebeard bố mẹ Charlie GVLT: Bùi Thị Danh BM KHMT, Khoa CNTT, ĐH KHTN TP.HCM Con bố mẹ mối quan hệ nghịch đảo (nghĩa a b b bố mẹ a) Mọi động vật có vú có bố mẹ Trả lời câu hỏi “có tồn ngựa hay khơng”? u cầu liệt kê tất lời giải có vẽ suy diễn tương ứng 4) Cho KB đây: 𝐴𝑛𝑐𝑒𝑠𝑡𝑜𝑟(𝑀𝑜𝑡ℎ𝑒𝑟(𝑥), 𝑥) 𝐴𝑛𝑐𝑒𝑠𝑡𝑜𝑟(𝑥, 𝑦) ∧ 𝐴𝑛𝑐𝑒𝑠𝑡𝑜𝑟(𝑦, 𝑧) → 𝐴𝑛𝑐𝑒𝑠𝑡𝑜𝑟(𝑥, 𝑧) a) Cho biết từ KB, phương pháp hợp giải, có suy dẫn ¬𝐴𝑛𝑐𝑒𝑠𝑡𝑜𝑟(𝑗𝑜ℎ𝑛, 𝑗𝑜ℎ𝑛) b) Cùng câu hỏi với câu a, thêm vào KB cơng thức ¬(𝑀𝑜𝑡ℎ𝑒𝑟(𝑥) = 𝑥)? 5) Cho KB bên Porky lợn Lợn loài động vật Tất lợn mập Không động vật chạy nhanh Chứng minh Porky không chạy nhanh? 6) Cho KB bên Một người sống Dreadbury Mansion giết Agatha Agatha, quản gia, Charles sống Dreadbury Mansion người sống Một kẻ giết người ghét nạn nhân khơng giàu nạn nhân Charles không ghét mà Agatha ghét Agatha ghét tất người trừ quản gia Quản gia ghét tất người không giàu Agatha Quản gia ghét tất người mà Agatha ghét Không ghét tất người Agatha quản gia Cho biết người giết Agatha? GVLT: Bùi Thị Danh