luận lý toán học,nguyễn thanh sơn,dhbkhcm 1 LUẬN LÝ TOÁN HỌC Thời gian làm bài 30 phút Mã số đề 0101 Thí sinh được sử dụng tài liệu và giữ lại đề thi Thí sinh chọn câu trả lời đúng và tổng quát nhất 1[.]
LUẬN LÝ TOÁN HỌC Thời gian làm : 30 phút Mã số đề 0101 Thí sinh sử dụng tài liệu giữ lại đề thi Thí sinh chọn câu trả lời tổng quát 1* F có bảng thực trị sau : a F=( A B C) ( A B) ( A B C) b F = (A B C) (A B C) ( A C) c F=( A B C) ( A B C) (A B C) d Các câu a, b, c sai A 1 1 0 0 B 1 0 1 0 C 1 1 F 0 1 1 2* Cho bảng thực trị sau : A 1 1 0 0 B 1 0 1 0 a c C 1 1 A C (1) B 1 C (2) 1 A Cột F (1, 0, 0, 1, 0, 0, 0, 1) Cột F (1, 0, 1, 1, 0, 0, 0, 1) B (3) 0 F = (1) (2) 1 0 b d (3) Cột F (1, 0, 1, 1, 0, 1, 0, 1) Các câu a, b, c sai 3* Lớp có bạn Trung ứng cử làm lớp trưởng Sau lớp bỏ phiếu Bạn Mai nói “Nếu bạn Lan bỏ phiếu cho Trung bạn Vân vậy" Bạn Lan nói “Nếu Mai khơng bỏ phiếu cho Trung Vân vậy" Cịn Vân nói “Mai bỏ phiếu cho Trung cịn Lan khơng" Nếu có bạn nói thật (trong bạn) bỏ phiếu cho Trung a c có Mai bỏ phiếu cho Trung có Mai Vân bỏ phiếu cho Trung 4* Công thức F = (A a c (A b d (A có Vân bỏ phiếu cho Trung Mai, Lan Vân bỏ phiếu cho Trung B) cho kết qủa (pp số học) : + A B 5* Công thức F = A a c B) b d Các câu a, b, c sai B) cho kết qủa (pp số học) : + A + A B 6* Hệ luận lý hệ thống {B b d Các câu a, b, c sai C, A} CuuDuongThanCong.com https://fb.com/tailieudientucntt a c B B C C b d A B Các câu a, b, c sai b d ( A C) (B C A) Các câu a, b, c b d ├─ ((A B) ( B A)) Các câu a, b, c 7* Công thức dạng Horn : a c A ( B (A B C) C) 8* Chọn phát biểu : a c ├─ (( A B) A) ├─ (A B) ( B A A) 9* Diễn dịch mô hình cơng thức ( A a c { A, B, C} {A, B, C} B) ( C B) : b d { A, B, C} Các câu a, b, c khơng mơ hình b d {{A, B}, { B, A}} Các câu a, b, c b d ( A B) ( B (C D)) Các câu a, b, c sai 10* Công thức dạng clausal form : a c {A, B, C} {A} { A B} { B A} 11* Công thức dạng CNF : a c (B A C) B ( A B) (B C) 12* Công thức dạng DNF : a c ( A D) ( A D (B A) D C B) ( A C D) 13* Chuyển công thức A a c ( A ( A B) B (A (A B) B) C) ( A B) b d (A { A, B, F} { A, B, F} ( A B C D) Các câu a, b, c sai B) dạng DNF : b d B) 15* Dịng thuộc bảng thực trị cơng thức F = (B a c A ( B C) D Các câu a, b, c sai D) dạng CNF : ( C D) C D) 14* Chuyển công thức (A a c ((B b d b d ( A B) Các câu a, b, c sai A) ( A B) : {A, B, F} Các câu a, b, c sai CuuDuongThanCong.com https://fb.com/tailieudientucntt 16* {A , B, C} mơ hình cơng thức : a c F = (A F = (A B) B) ( A A B) b d F = A (B C) Các câu a, b, c 17* Công thức hệ luận lý hệ thống {A, B, A a A B b B C 18* Công thức tương đương với (A a c (A (A (B A)) A (B A)) A c A (B A)) C} B d B C A b d (A B) A Các câu a, b, c sai b d ( A B) ( B C) Các câu a, b, c sai 19* Công thức dạng NNF : a (A B) (B C) c ( A) B (B C) 20* Chọn phát biểu tổng quát : a “X không X không sai” b Để biểu diễn công thức LLMĐ cần tối thiểu toán tử logic c Câu a b d Câu a b sai 21* A (B A if nif (A C) ├─ (A B) C Cho biết chứng minh bắt đầu sai từ dòng : (B C) tiền đề A B a A e2 b B e2 c B C e 1, d Chứng minh không sai C e 4, (A B) i6 (A B) C sử dụng lại kết qủa chứng minh F G ├─ F G B) C i 2, 22* Chọn phát biểu sai : a ├─ F F (nguyên tắc triệt tam – LEM) b Hai cơng thức tương đương có tập mơ hình c Cơng thức cơng thức khơng mâu thuẫn d Có câu sai câu a, b, c 23* F = (A a c B) ( A (B F có tất mơ hình F có tất mơ hình C)) b d F có tất mơ hình Các câu a, b, c sai CuuDuongThanCong.com https://fb.com/tailieudientucntt 24* Chọn phát biểu sai : a ╞═ ((A B) B) A b Bài tốn SAT tốn chứng minh cơng thức khả c Nếu A ├─ C B ├─ C A B├─ C d Có câu sai câu a, b, c 25* Chọn câu : a ├─ (A B) ((A C) (B C)) b Nếu A ≡ B A = B, ngược lại A = B A≡ B c Luận lý mệnh đề deductive logic d Các câu a, b, c Tổng cộng : 25 câu Cách tính điểm 00 – 01 câu = 00 điểm 04 – 06 câu = 02 điểm 09 – 11 câu = 04 điểm 14 – 16 câu = 06 điểm 19 – 21 câu = 08 điểm 24 – 25 câu = 10 điểm Đáp án để trang web 02 – 03 câu = 01 điểm 07 – 08 câu = 03 điểm 12 – 13 câu = 05 điểm 17 – 18 câu = 07 điểm 22 – 23 câu = 09 điểm CuuDuongThanCong.com https://fb.com/tailieudientucntt ... cơng thức : a c F = (A F = (A B) B) ( A A B) b d F = A (B C) Các câu a, b, c 17* Công thức hệ luận lý hệ thống {A, B, A a A B b B C 18* Công thức tương đương với (A a c (A (A (B A)) A (B A)) A... câu a, b, c 25* Chọn câu : a ├─ (A B) ((A C) (B C)) b Nếu A ≡ B A = B, ngược lại A = B A≡ B c Luận lý mệnh đề deductive logic d Các câu a, b, c Tổng cộng : 25 câu Cách tính điểm 00 – 01 câu =... Chọn phát biểu tổng quát : a “X không X không sai” b Để biểu diễn công thức LLMĐ cần tối thiểu toán tử logic c Câu a b d Câu a b sai 21* A (B A if nif (A C) ├─ (A B) C Cho biết chứng minh bắt