luận lý toán học nguyễn thanh sơn mid logic mt10 in sinhvienzone com

LUẬN LÝ TOÁN HỌC Thời gian làm : 30 phút Mã số đề 1001 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 Công thức dạng CNF : (B A C) B ( A B) (B C) Công thức F = (A a c B) (A b ( A B) ( B (C D)) @d Các câu a, b, c sai B) cho kết qủa (pp số học) : + A B @b d Các câu a, b, c sai C om a c Công thức hệ luận lý hệ thống {A, B, A A B @b B C c A {A , B, C} mơ hình cơng thức : B) (B en Công thức tương đương với (A (A (B A)) A (A (B A)) A Vi @a c b d Zo @a F = (A B) ( A c F = (A B) A B d B C ne a C} F = A (B C) Các câu a, b, c A)) b d A (A B) A Các câu a, b, c sai nh Công thức dạng NNF : Si a (A B) (B C) c ( A) B (B C) @b ( A B) ( B C) d Các câu a, b, c sai Diễn dịch mơ hình cơng thức ( A a { A, B, C} @c {A, B, C} Công thức F = A a c (A + A + A B b d B) ( C B) : { A, B, C} Các câu a, b, c khơng mơ hình B) cho kết qủa (pp số học) : b @d Các câu a, b, c sai Mã số đề 1001 Lớp có bạn Trung ứng cử làm lớp trưởng Sau lớp bỏ phiếu SinhVienZone.com https://fb.com/sinhvienzonevn 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 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 @b có Vân bỏ phiếu cho Trung d Mai, Lan Vân bỏ phiếu cho Trung 10 Công thức dạng Horn : A ( B (A B C) C) b ( A C) (B C A) @d Các câu a, b, c 11 Hệ luận lý hệ thống {B C, A} @a B C c B C b d 12 Chuyển công thức (A @a (A B) c (A B) ( A b d Zo B) B) Vi 14 F = (A (B A) D C B) ( A C D) en ( A D) ( A D B) dạng DNF : (A 13 Công thức dạng DNF : a c ( A (B A B Các câu a, b, c sai ne B) C om a c ( A B) Các câu a, b, c sai @b A ( B C) D d Các câu a, b, c sai C)) b d F có tất mơ hình Các câu a, b, c sai Si nh @a F có tất mơ hình c F có tất mơ hình 15 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 16 Chuyển công thức A ((B C) a ( A B) ( C D) @c ( A B C D) D) dạng CNF : b d ( A B C D) Các câu a, b, c sai Mã số đề 1001 17 A SinhVienZone.com (B A if C) ├─ (A (B C) A B B) C Cho biết chứng minh bắt đầu sai từ dòng : tiền đề a b @c https://fb.com/sinhvienzonevn d Chứng minh không sai A B B C nif (A (A B) C (A B) C B) C e2 e2 e 1, e 4, i6 sử dụng lại kết qủa chứng minh F i 2, G ├─ F G 18 Chọn phát biểu tổng quát : C om 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 ne 19 Chọn phát biểu sai : a ╞═ ((A B) B) A b Bài toá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 ├─ (( A B) A) ├─ (A B) ( B A A) b ├─ ((A B) ( B A)) @d Các câu a, b, c en a c Zo 20 Chọn phát biểu : {A, B, C} {A} { A B} { B A} nh a c Vi 21 Công thức dạng clausal form : @b {{A, B}, { B, A}} d Các câu a, b, c Si 22 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 SinhVienZone.com https://fb.com/sinhvienzonevn Mã số đề 1001 23 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 24 Dòng thuộc bảng thực trị cơng thức F = (B a c { A, B, F} { A, B, F} A) ( A B) : b {A, B, F} @d Các câu a, b, c sai C 1 1 A C (1) 1 1 B B (3) 0 en b d F = (1) 0 (2) (3) 0 Cột F (1, 0, 1, 1, 0, 1, 0, 1) Các câu a, b, c sai Vi nh 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 Si A a Cột F (1, 0, 0, 1, 0, 0, 0, 1) @c Cột F (1, 0, 1, 1, 0, 0, 0, 1) Tổng cộng : 25 câu C (2) 1 ne B 1 0 1 0 Zo A 1 1 0 0 C om 25 Cho bảng thực trị sau : 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 SinhVienZone.com https://fb.com/sinhvienzonevn LUẬN LÝ TOÁN HỌC Thời gian làm : 30 phút Mã số đề 1010 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 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 Dòng thuộc bảng thực trị công thức F = (B ( A B) : C om a c A) { A, B, F} { A, B, F} b {A, B, F} @d Các câu a, b, c sai Chọn phát biểu tổng quát : {A, B, C} {A} { A B} { B A} Vi a c en Công thức dạng clausal form : Zo ne 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 @b {{A, B}, { B, A}} d Các câu a, b, c Si nh 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 Công thức dạng CNF : a c (B A C) B ( A B) (B C) b ( A B) ( B (C D)) @d Các câu a, b, c sai Công thức dạng DNF : a c ( A D) ( A D (B A) D C B) ( A C D) @b A ( B C) D d Các câu a, b, c sai Mã số đề 1010 SinhVienZone.com https://fb.com/sinhvienzonevn a c B) cho kết qủa (pp số học) : (A + A + A B b @d Các câu a, b, c sai Công thức tương đương với (A @a c (B A)) (A (B A)) A (A (B A)) A 10 Hệ luận lý hệ thống {B A b d (A B) A Các câu a, b, c sai b d A B Các câu a, b, c sai C, A} @a B C c B C C om Công thức F = A 11 Công thức hệ luận lý hệ thống {A, B, A a A B @b B C c A b d 13 Chuyển công thức (A ( A B) ( C en (B Si C B) : { A, B, C} Các câu a, b, c khơng mơ hình b d ( A B) Các câu a, b, c sai C)) @a F có tất mơ hình c F có tất mơ hình 15 Chuyển cơng thức A d B B) dạng DNF : (A B) nh B) B) Vi @a (A B) c (A B) ( A Zo a { A, B, C} @c {A, B, C} 14 F = (A B ne 12 Diễn dịch mơ hình cơng thức ( A C} ((B b d C) a ( A B) ( C D) @c ( A B C D) F có tất mơ hình Các câu a, b, c sai D) dạng CNF : b d ( A B C D) Các câu a, b, c sai 16 Chọn phát biểu : a c ├─ (( A B) A) ├─ (A B) ( B A A) b ├─ ((A B) ( B A)) @d Các câu a, b, c Mã số đề 1010 17 F có bảng thực trị sau : SinhVienZone.com https://fb.com/sinhvienzonevn a b @c d F=( A B C) ( A B) ( A B C) F = (A B C) (A B C) ( A C) F=( A B C) ( A B C) (A B C) 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 18 Công thức dạng Horn : a c A ( B (A B C) C) b ( A C) (B C A) @d Các câu a, b, c .C om 19 Chọn phát biểu sai : 20 Cho bảng thực trị sau : B C (2) 1 A Zo C (1) en A 1 Vi C 1 1 nh B 1 0 1 0 B (3) 0 F = (1) (2) 1 0 (3) Si A 1 1 0 0 ne @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 a Cột F (1, 0, 0, 1, 0, 0, 0, 1) @c Cột F (1, 0, 1, 1, 0, 0, 0, 1) 21 A (B A if SinhVienZone.com C) ├─ (A (B C) A B A B B) b d Cột F (1, 0, 1, 1, 0, 1, 0, 1) Các câu a, b, c sai C Cho biết chứng minh bắt đầu sai từ dòng : tiền đề e2 e2 a b @c d Chứng minh không sai https://fb.com/sinhvienzonevn B C nif (A C (A B) C (A B) e 1, e 4, i6 sử dụng lại kết qủa chứng minh F i 2, B) C G ├─ F G Mã số đề 1010 22 Công thức F = (A a c B) (A B) cho kết qủa (pp số học) : + A B @b d Các câu a, b, c sai 23 {A , B, C} mơ hình cơng thức : B) b d 24 Công thức dạng NNF : @b ( A B) ( B C) d Các câu a, b, c sai ne a (A B) (B C) c ( A) B (B C) F = A (B C) Các câu a, b, c .C om @a F = (A B) ( A c F = (A B) A có Mai bỏ phiếu cho Trung có Mai Vân bỏ phiếu cho Trung @b có Vân bỏ phiếu cho Trung d Mai, Lan Vân bỏ phiếu cho Trung nh Tổng cộng : 25 câu Vi a c en Zo 25 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 Lan khơng" Nếu có bạn nói thật (trong bạn) bỏ phiếu cho Trung Si 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 a c B) cho kết qủa (pp số học) : (A + A + A B b @d Các câu a, b, c sai Hệ luận lý hệ thống {B C, A} @a B C c B C b d Công thức dạng Horn : A ( B (A B C) C) b ( A C) (B C A) @d Các câu a, b, c ne a c Zo Chọn phát biểu : ├─ (( A B) A) ├─ (A B) ( B b ├─ ((A B) ( B A)) @d Các câu a, b, c A A) en a c Diễn dịch mơ hình cơng thức ( A nh Vi a { A, B, C} @c {A, B, C} B) ( A (B B) ( C B) : b d { A, B, C} Các câu a, b, c khơng mơ hình b d F có tất mơ hình Các câu a, b, c sai C)) Si F = (A A B Các câu a, b, c sai .C om Cơng thức F = A @a F có tất mơ hình c F có tất mơ hình Chọn phát biểu sai : a ╞═ ((A B) B) A b Bài toá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 Chuyển công thức A ((B C) a ( A B) ( C D) @c ( A B C D) D) dạng CNF : b d ( A B C D) Các câu a, b, c sai Mã số đề 0101 Chọn câu : SinhVienZone.com https://fb.com/sinhvienzonevn 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 10 Công thức dạng clausal form : a c {A, B, C} {A} { A B} { B A} @b {{A, B}, { B, A}} d Các câu a, b, c 11 Công thức dạng CNF : (B A C) B ( A B) (B C) b ( A B) ( B (C D)) @d Các câu a, b, c sai C om a c 12 Dòng thuộc bảng thực trị công thức F = (B { A, B, F} { A, B, F} Zo B) b d F = A (B C) Các câu a, b, c en @a F = (A B) ( A c F = (A B) A B Vi 14 Công thức hệ luận lý hệ thống {A, B, A A B) : b {A, B, F} @d Các câu a, b, c sai 13 {A , B, C} mơ hình cơng thức : a ( A ne a c A) @b B C c A C} B d B C ( A D) ( A D Si a c nh 15 Công thức dạng DNF : (B A) D C B) ( A C D) 16 Công thức tương đương với (A @a c (A (B A)) A (A (B A)) A (B @b A ( B C) D d Các câu a, b, c sai A)) b d A (A B) A Các câu a, b, c sai Mã số đề 0101 17 F có bảng thực trị sau : 10 SinhVienZone.com https://fb.com/sinhvienzonevn a b @c d F=( A B C) ( A B) ( A B C) F = (A B C) (A B C) ( A C) F=( A B C) ( A B C) (A B C) 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 18 Cho bảng thực trị sau : C 1 1 A C (1) B 1 C (2) 1 0 a Cột F (1, 0, 0, 1, 0, 0, 0, 1) @c Cột F (1, 0, 1, 1, 0, 0, 0, 1) + A B (A B (3) 0 F = (1) (2) 1 0 (3) b d Cột F (1, 0, 1, 1, 0, 1, 0, 1) Các câu a, b, c sai B) cho kết qủa (pp số học) : Zo a c B) en 19 Công thức F = (A A C om B 1 0 1 0 ne A 1 1 0 0 @b d Các câu a, b, c sai Vi 20 Công thức dạng NNF : @b ( A B) ( B C) d Các câu a, b, c sai nh a (A B) (B C) c ( A) B (B C) Si 21 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 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 22 Chuyển công thức (A @a (A B) c (A B) ( A B) (A @b có Vân bỏ phiếu cho Trung d Mai, Lan Vân bỏ phiếu cho Trung B) dạng DNF : b d B) ( A B) Các câu a, b, c sai Mã số đề 0101 23 Chọn phát biểu tổng quát : a “X không X không sai” 11 SinhVienZone.com https://fb.com/sinhvienzonevn 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 C) ├─ (A B) (B C) A B A B B C C (A B) nif (A B) C (A B) C (B A if C Cho biết chứng minh bắt đầu sai từ dòng : tiền đề a e2 b e2 @c e 1, d Chứng minh không sai e 4, i6 sử dụng lại kết qủa chứng minh F G ├─ F G i 2, C om 24 A 25 Chọn phát biểu sai : ne @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 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 Si nh Vi en 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 Zo Tổng cộng : 25 câu 12 SinhVienZone.com https://fb.com/sinhvienzonevn ... 22 – 23 câu = 09 điểm SinhVienZone. com https://fb .com/ sinhvienzonevn LUẬN LÝ TOÁN HỌC Thời gian làm : 30 phút Mã số đề 1010 Thí sinh sử dụng tài liệu giữ lại đề thi Thí sinh chọn câu trả lời tổng... 22 – 23 câu = 09 điểm SinhVienZone. com https://fb .com/ sinhvienzonevn 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... Mã số đề 0101 Chọn câu : SinhVienZone. com https://fb .com/ sinhvienzonevn 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 10