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 1 F = (((A B) B) B) a F = (B A) @b F = (A B) c F =[.]
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 F = (((A a c B) B) B) : F = (B A) F = ( B A) @b F = (A B) d Câu a, b, c sai Công thức dạng NNF : @a c A ((A B) A) A (A B) ( B A) b d ((A B) ( B A)) Các câu a, b, c B├─ B A Cho biết chứng minh bắt đầu sai từ dòng : A B tiền đề if B if B a B id b nif e 3, @c A i 3, d Chứng minh không sai nif A e6 B A i 2, Biểu diễn phát biểu sau luận lý mệnh đề : - Hàm f liên tục f khả vi f không liên tục Vậy f không khả vi a fkhảvi fliêntục, fliêntục ╞═ fkhảvi b fkhảvi fliêntục, fliêntục ├─ fkhảvi c ├─ (fkhảvi fliêntục) ( fliêntục fkhảvi) @d Các câu a, b, c Chọn phát biểu sai : a Về mặt ngữ nghĩa cơng thức : qn khả đúng, cịn mâu thuẫn sai @b Luận lý mệnh đề thuộc loại inductive logic c Luận lý mệnh đề ngơn ngữ hình thức d Có câu sai câu a, b, c CuuDuongThanCong.com https://fb.com/tailieudientucntt Công thức dạng Horn : a c (A ( A) B ( B C) C) @b ( A C) (B C d Các câu a, b, c Diễn dịch khơng mơ hình cơng thức ( A @a { A, B, C} c { A, B, C} B) (C D) 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 Công thức định lý : @a ((A B) A) A c (A B) ( B A) Công thức F = ( A B) (B a X = ( A B) (B C) @c Z = A B (B C) C) tương đương với : b d Y = ( A B) (B C) Các câu a, b, c sai 10 Công thức dạng CNF : a c ( A B) (B C) A B (B C) b ( A B) (B C) @d Các câu a, b, c sai 11 Nếu công dân (Ci) 18 tuỗi (O8), khơng có tiền án (Co) phải thi hành NVQS năm (Ms) Minh công dân khơng có tiền án 18 tuổi Vì Minh phải thi hành NVQS Biểu diễn lập luận luận lý mệnh đề a ((Ci O8 Co) Ms), Ci, Co, O8 ├─ Ms b ((((Ci O8 Co) Ms) Ci Co O8) Ms) @c Các câu a, b d Các câu a, b, c sai 12 Chọn phát biểu sai : a Cơng thức sai cơng thức khơng có mơ hình b Cơng thức khả cơng thức có mơ hình c Qui tắc hội i ( i) định nghĩa : dòng m : F, dịng m+n : F @d Có câu sai câu a, b, c G CuuDuongThanCong.com https://fb.com/tailieudientucntt 13 Dịng thuộc bảng thực trị cơng thức F = (B a { A, B, F} @c { A, B, F} b d A) ( A B) : {A, B, F} Các câu a, b, c 14 A phát biểu “x y”, B “x < y”, C “0 < x” Phát biểu “0 < x ≤ y” diễn tả thành công thức : @a c ( A B) C A B C b d A B C Các câu a, b, c sai 15 Chọn câu tổng quát : AQ, AQ}╞═ AP AQ, AQ}╞═ (AP a {AP c {AP AQ) @b {AP AQ, AQ}╞═ ( AP d Các câu a, b, c sai 16 Diễn dịch không mơ hình cơng thức F = (A a c { A , B} {A, B} 17 Công thức A a c ((B C) ( A b d (B @a (A c ( A + A + B Các câu a, b, c sai C)) có mơ hình : { A, B, C } {A, B, C } 20 Công thức F = (A @b A ( B C) D d Các câu a, b, c sai B) cho kết qủa phương pháp số học : @a + A + AB c A + B + AB a c B) : D) có dạng chuẩn hội : B) ( A D C) B) ( A C D) 18 Công thức F = ( A B) ( A @b {A, B} d Các câu a, b, c ( A D ( A D 19 F = (A B) AQ) b {A, B, C } @d Các câu a, b, c B) (A B) (A B) (B B) A) B) tương đương với : b ( A B) (B A) d Câu a, b, c A CuuDuongThanCong.com https://fb.com/tailieudientucntt 21 Chọn phát biểu : a Công thức (A B) (A B) có giá trị sai b Mệnh đề giao lưỡng nguyên c Modus tolens : F G, G├─ F @d Có câu sai câu a, b, c 22 Hệ luận lý hệ thống {A, B, A a c A B B C 23 Công thức (A a @c C, D } b A B @d Các câu a, b, c B) C có dạng chuẩn giao : ( A B) C (A C) ( B C) b d (A B) C Các câu a, b, c sai 24 Công thức dạng Clausal form : a c ((A B) A) (A B) ( B A A) @b {{A, B}, {C}, { C, B, D}} d Các câu a, b, c sai 25 Công thức dạng DNF : a @c ( A B) (B C) A B (B C) b d ( A B) (B C) Các câu a, b, c sai Tổng cộng : 25 câu Cách tính điểm 00 01 câu = 00 điểm 02 03 câu = 01 điểm 04 05 06 câu = 02 điểm 07 08 câu = 03 điểm 09 10 11 câu = 04 điểm 12 13 câu = 05 điểm 14 15 16 câu = 06 điểm 17 18 câu = 07 điểm 19 20 21 câu = 08 điểm 22 23 câu = 09 điểm 24 25 câu = 10 điểm Đáp án để trang web sau thi (chậm nhất) … vài ngày CuuDuongThanCong.com https://fb.com/tailieudientucntt 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 Diễn dịch khơng mơ hình cơng thức F = (A a c { A , B} {A, B} A B ( A B) : @b {A, B} d Các câu a, b, c Hệ luận lý hệ thống {A, B, A a c B) B C C, D } b A B @d Các câu a, b, c Chọn phát biểu sai : a Công thức sai cơng thức khơng có mơ hình b Cơng thức khả cơng thức có mơ hình c Qui tắc hội i ( i) định nghĩa : dòng m : F, dòng m+n : F @d Có câu sai câu a, b, c Công thức F = (A @a (A c ( A B) (A B) (A B) (B B) A) G B) tương đương với : b ( A B) (B A) d Câu a, b, c A Công thức định lý : @a ((A B) A) A c (A B) ( B A) F = (((A a c B) B) F = (B A) F = ( B A) b d ((A B) (B A)) Các câu a, b, c B) : @b F = (A B) d Câu a, b, c sai Chọn phát biểu sai : a Về mặt ngữ nghĩa công thức : quán khả đúng, mâu thuẫn sai @b Luận lý mệnh đề thuộc loại inductive logic c Luận lý mệnh đề ngơn ngữ hình thức CuuDuongThanCong.com https://fb.com/tailieudientucntt d A Có câu sai câu a, b, c B├─ B A Cho biết chứng minh bắt đầu sai từ dòng : A B tiền đề if B if B a B id b nif e 3, @c A i 3, d Chứng minh không sai nif A e6 B A i 2, Công thức dạng CNF : a c ( A B) (B C) A B (B C) b ( A B) (B C) @d Các câu a, b, c sai 10 Công thức dạng Horn : a c (A ( A) B ( B C) C) 11 Công thức F = ( A B) @b ( A C) (B C d Các câu a, b, c (B a X = ( A B) (B C) @c Z = A B (B C) C) tương đương với : b d Y = ( A B) (B C) Các câu a, b, c sai 12 Diễn dịch khơng mơ hình công thức ( A @a { A, B, C} c { A, B, C} D) 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 13 Công thức dạng NNF : @a c ((A B) A) A (A B) ( B A) 14 A phát biểu “x y”, B “x < y”, C “0 < x” Phát biểu “0 < x ≤ y” diễn tả thành công thức : @a c ( A B) C A B C b d A B C Các câu a, b, c sai CuuDuongThanCong.com https://fb.com/tailieudientucntt 15 Công thức A a c ((B ( A D ( A D D) có dạng chuẩn hội : C) B) ( A D C) B) ( A C D) @b A ( B C) D d Các câu a, b, c sai 16 Dòng thuộc bảng thực trị công thức F = (B a { A, B, F} @c { A, B, F} 17 F = (A a c B) b d ( A (B A) ( A B) : {A, B, F} Các câu a, b, c C)) có mơ hình : { A, B, C } {A, B, C } b {A, B, C } @d Các câu a, b, c 18 Nếu công dân (Ci) 18 tuỗi (O8), khơng có tiền án (Co) phải thi hành NVQS năm (Ms) Minh cơng dân khơng có tiền án 18 tuổi Vì Minh phải thi hành NVQS Biểu diễn lập luận luận lý mệnh đề a ((Ci O8 Co) Ms), Ci, Co, O8 ├─ Ms b ((((Ci O8 Co) Ms) Ci Co O8) Ms) @c Các câu a, b d Các câu a, b, c sai 19 Chọn phát biểu : a Cơng thức (A B) (A B) có giá trị sai b Mệnh đề giao lưỡng nguyên c Modus tolens : F G, G├─ F @d Có câu sai câu a, b, c 20 Công thức F = ( A B) cho kết qủa phương pháp số học : @a + A + AB c A + B + AB b d + A + B Các câu a, b, c sai b d ( A B) (B C) Các câu a, b, c sai 21 Công thức dạng DNF : a @c ( A B) (B C) A B (B C) CuuDuongThanCong.com https://fb.com/tailieudientucntt 22 Chọn câu tổng quát : a {AP c {AP AQ, AQ}╞═ AP AQ, AQ}╞═ (AP AQ) @b {AP AQ, AQ}╞═ ( AP d Các câu a, b, c sai AQ) 23 Công thức dạng Clausal form : a c ((A B) A) (A B) ( B A A) @b {{A, B}, {C}, { C, B, D}} d Các câu a, b, c sai 24 Biểu diễn phát biểu sau luận lý mệnh đề : - Hàm f liên tục f khả vi f không liên tục Vậy f không khả vi a fkhảvi fliêntục, fliêntục ╞═ fkhảvi b fkhảvi fliêntục, fliêntục ├─ fkhảvi c ├─ (fkhảvi fliêntục) ( fliêntục fkhảvi) @d Các câu a, b, c 25 Công thức (A a @c B) ( A B) C (A C) ( B C có dạng chuẩn giao : C) b d (A B) C Các câu a, b, c sai Tổng cộng : 25 câu Cách tính điểm 00 01 câu = 00 điểm 02 03 câu = 01 điểm 04 05 06 câu = 02 điểm 07 08 câu = 03 điểm 09 10 11 câu = 04 điểm 12 13 câu = 05 điểm 14 15 16 câu = 06 điểm 17 18 câu = 07 điểm 19 20 21 câu = 08 điểm 22 23 câu = 09 điểm 24 25 câu = 10 điểm Đáp án để trang web sau thi (chậm nhất) … vài ngày CuuDuongThanCong.com https://fb.com/tailieudientucntt 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 Công thức A a c ( A D ( A D F = (((A a c ((B B) C) D) có dạng chuẩn hội : B) ( A D C) B) ( A C D) B) F = (B A) F = ( B A) @b A ( B C) D d Các câu a, b, c sai B) : @b F = (A B) d Câu a, b, c sai Chọn phát biểu : a Công thức (A B) (A B) có giá trị sai b Mệnh đề giao lưỡng nguyên c Modus tolens : F G, G├─ F @d Có câu sai câu a, b, c Chọn phát biểu sai : a Về mặt ngữ nghĩa công thức : quán khả đúng, mâu thuẫn sai @b Luận lý mệnh đề thuộc loại inductive logic c Luận lý mệnh đề ngơn ngữ hình thức d Có câu sai câu a, b, c A B├─ B A Cho biết chứng minh bắt đầu sai từ dòng : A B tiền đề if B if B a B id b nif e 3, @c A i 3, d Chứng minh không sai nif A e6 B A i 2, CuuDuongThanCong.com https://fb.com/tailieudientucntt Công thức định lý : @a ((A B) A) A c (A B) ( B A) b d Hệ luận lý hệ thống {A, B, A a c A B B C ((A B) (B A)) Các câu a, b, c C, D } b A B @d Các câu a, b, c Công thức dạng Horn : a c (A ( A) B ( B C) C) @b ( A C) (B C d Các câu a, b, c Dòng thuộc bảng thực trị công thức F = (B a { A, B, F} @c { A, B, F} b d A) ( A D) B) : {A, B, F} Các câu a, b, c 10 Công thức dạng CNF : a c ( A B) (B C) A B (B C) b ( A B) (B C) @d Các câu a, b, c sai 11 Công thức dạng NNF : @a c ((A B) A) A (A B) ( B A) b d ((A B) ( B A)) Các câu a, b, c 12 Nếu công dân (Ci) 18 tuỗi (O8), khơng có tiền án (Co) phải thi hành NVQS năm (Ms) Minh công dân tiền án 18 tuổi Vì Minh phải thi hành NVQS Biểu diễn lập luận luận lý mệnh đề a ((Ci O8 Co) Ms), Ci, Co, O8 ├─ Ms b ((((Ci O8 Co) Ms) Ci Co O8) Ms) @c Các câu a, b d Các câu a, b, c sai 10 CuuDuongThanCong.com https://fb.com/tailieudientucntt 13 Diễn dịch không mơ hình cơng thức ( A @a { A, B, C} 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 C) Các câu a, b, c sai 14 Công thức dạng DNF : a @c ( A B) (B C) A B (B C) 15 F = (A a c B) ( A (B C)) có mơ hình : { A, B, C } {A, B, C } b {A, B, C } @d Các câu a, b, c 16 Chọn câu tổng quát : a {AP c {AP AQ, AQ}╞═ AP AQ, AQ}╞═ (AP AQ) @b {AP AQ, AQ}╞═ ( AP d Các câu a, b, c sai AQ) 17 A phát biểu “x y”, B “x < y”, C “0 < x” Phát biểu “0 < x ≤ y” diễn tả thành công thức : @a c ( A B) C A B C b d A B C Các câu a, b, c sai 18 Công thức dạng Clausal form : a c ((A B) A) (A B) ( B 19 Công thức F = (A @a (A c ( A A A) B) (A B) (A B) (B B) A) @b {{A, B}, {C}, { C, B, D}} d Các câu a, b, c sai B) tương đương với : b ( A B) (B A) d Câu a, b, c 20 Diễn dịch không mơ hình cơng thức F = (A a c { A , B} {A, B} B) A ( A B) : @b {A, B} d Các câu a, b, c 11 CuuDuongThanCong.com https://fb.com/tailieudientucntt 21 Biểu diễn phát biểu sau luận lý mệnh đề : - Hàm f liên tục f khả vi f không liên tục Vậy f không khả vi a fkhảvi fliêntục, fliêntục ╞═ fkhảvi b fkhảvi fliêntục, fliêntục ├─ fkhảvi c ├─ (fkhảvi fliêntục) ( fliêntục fkhảvi) @d Các câu a, b, c 22 Công thức F = ( A B) cho kết qủa phương pháp số học : @a + A + AB c A + B + AB 23 Công thức (A a @c b d + A + B Các câu a, b, c sai C có dạng chuẩn giao : B) ( A B) C (A C) ( B b d C) (A B) C Các câu a, b, c sai 24 Chọn phát biểu sai : a Công thức sai cơng thức khơng có mơ hình b Cơng thức khả cơng thức có mơ hình c Qui tắc hội i ( i) định nghĩa : dòng m : F, dịng m+n : F @d Có câu sai câu a, b, c 25 Công thức F = ( A B) (B a X = ( A B) (B C) @c Z = A B (B C) G C) tương đương với : b d Y = ( A B) (B C) Các câu a, b, c sai Tổng cộng : 25 câu Cách tính điểm 00 01 câu = 00 điểm 02 03 câu = 01 điểm 04 05 06 câu = 02 điểm 07 08 câu = 03 điểm 09 10 11 câu = 04 điểm 12 13 câu = 05 điểm 14 15 16 câu = 06 điểm 17 18 câu = 07 điểm 19 20 21 câu = 08 điểm 22 23 câu = 09 điểm 24 25 câu = 10 điểm Đáp án để trang web sau thi (chậm nhất) … vài ngày 12 CuuDuongThanCong.com https://fb.com/tailieudientucntt LUẬN LÝ TOÁN HỌC Thời gian làm : 30 phút Mã số đề 0110 Thí sinh sử dụng tài liệu giữ lại đề thi F = (A a c B) ( A (B C)) có mơ hình : { A, B, C } {A, B, C } Công thức F = (A @a (A c ( A B) B) (A B) (B b {A, B, C } @d Các câu a, b, c (A B) A) B) tương đương với : b ( A B) (B A) d Câu a, b, c A Chọn phát biểu sai : a Về mặt ngữ nghĩa cơng thức : qn khả đúng, cịn mâu thuẫn sai @b Luận lý mệnh đề thuộc loại inductive logic c Luận lý mệnh đề ngơn ngữ hình thức d Có câu sai câu a, b, c Dòng thuộc bảng thực trị công thức F = (B a { A, B, F} @c { A, B, F} b d A) ( A B) : {A, B, F} Các câu a, b, c Công thức dạng CNF : a c ( A B) (B C) A B (B C) b ( A B) (B C) @d Các câu a, b, c sai Công thức dạng NNF : @a c ((A B) A) A (A B) ( B A) b d ((A B) ( B A)) Các câu a, b, c Công thức dạng Clausal form : a c ((A B) A) (A B) ( B A A) @b {{A, B}, {C}, { C, B, D}} d Các câu a, b, c sai 13 CuuDuongThanCong.com https://fb.com/tailieudientucntt Công thức dạng DNF : a @c ( A B) (B C) A B (B C) b d ( A B) (B C) Các câu a, b, c sai Diễn dịch khơng mơ hình cơng thức ( A @a { A, B, C} c { A, B, C} b d B) (C B) : {A, B, C} Các câu a, b, c khơng mơ hình 10 A phát biểu “x y”, B “x < y”, C “0 < x” Phát biểu “0 < x ≤ y” diễn tả thành công thức : @a c ( A B) C A B C b d A B C Các câu a, b, c sai 11 A B├─ B A Cho biết chứng minh bắt đầu sai từ dòng : A B tiền đề if B if B a B id b 5 nif e 3, @c 6 A i 3, d Chứng minh không sai nif A e6 B A i 2, 12 Chọn câu tổng quát : a {AP c {AP AQ, AQ}╞═ AP AQ, AQ}╞═ (AP AQ) @b {AP AQ, AQ}╞═ ( AP d Các câu a, b, c sai AQ) 13 Nếu công dân (Ci) 18 tuỗi (O8), khơng có tiền án (Co) phải thi hành NVQS năm (Ms) Minh cơng dân khơng có tiền án 18 tuổi Vì Minh phải thi hành NVQS Biểu diễn lập luận luận lý mệnh đề a ((Ci O8 Co) Ms), Ci, Co, O8 ├─ Ms b ((((Ci O8 Co) Ms) Ci Co O8) Ms) @c Các câu a, b d Các câu a, b, c sai 14 CuuDuongThanCong.com https://fb.com/tailieudientucntt 14 Công thức F = ( A B) (B a X = ( A B) (B C) @c Z = A B (B C) C) tương đương với : b d Y = ( A B) (B C) Các câu a, b, c sai 15 Chọn phát biểu : a Công thức (A B) (A B) có giá trị sai b Mệnh đề giao lưỡng nguyên c Modus tolens : F G, G├─ F @d Có câu sai câu a, b, c 16 Công thức (A a @c ( A B) C (A C) ( B 17 Công thức A a c C có dạng chuẩn giao : B) ( A D ( A D ((B b d C) C) (A B) C Các câu a, b, c sai D) có dạng chuẩn hội : B) ( A D C) B) ( A C D) @b A ( B C) D d Các câu a, b, c sai 18 Diễn dịch khơng mơ hình công thức F = (A a c { A , B} {A, B} B) ( A B) : @b {A, B} d Các câu a, b, c 19 Công thức định lý : @a ((A B) A) A c (A B) ( B A) b d ((A B) (B A)) Các câu a, b, c 20 Chọn phát biểu sai : a Công thức sai cơng thức khơng có mơ hình b Cơng thức khả cơng thức có mơ hình c Qui tắc hội i ( i) định nghĩa : dòng m : F, dịng m+n : F @d Có câu sai câu a, b, c 21 Công thức F = ( A G B) cho kết qủa phương pháp số học : 15 CuuDuongThanCong.com https://fb.com/tailieudientucntt @a + A + AB c A + B + AB b d 22 Hệ luận lý hệ thống {A, B, A a c A B B C + A + B Các câu a, b, c sai C, D } b A B @d Các câu a, b, c 23 Công thức dạng Horn : a c (A ( A) 24 F = (((A a c B ( B B) C) C) B) F = (B A) F = ( B A) @b ( A C) (B C d Các câu a, b, c D) B) : @b F = (A B) d Câu a, b, c sai 25 Biểu diễn phát biểu sau luận lý mệnh đề : - Hàm f liên tục f khả vi f không liên tục Vậy f không khả vi a fkhảvi fliêntục, fliêntục ╞═ fkhảvi b fkhảvi fliêntục, fliêntục ├─ fkhảvi c ├─ (fkhảvi fliêntục) ( fliêntục fkhảvi) @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 02 03 câu = 01 điểm 04 05 06 câu = 02 điểm 07 08 câu = 03 điểm 09 10 11 câu = 04 điểm 12 13 câu = 05 điểm 14 15 16 câu = 06 điểm 17 18 câu = 07 điểm 19 20 21 câu = 08 điểm 22 23 câu = 09 điểm 24 25 câu = 10 điểm Đáp án để trang web sau thi (chậm nhất) … vài ngày 16 CuuDuongThanCong.com https://fb.com/tailieudientucntt ... biểu sai : a Về mặt ngữ nghĩa công thức : quán khả đúng, mâu thuẫn sai @b Luận lý mệnh đề thuộc loại inductive logic c Luận lý mệnh đề ngơn ngữ hình thức CuuDuongThanCong.com https://fb.com/tailieudientucntt... biểu sai : a Về mặt ngữ nghĩa công thức : quán khả đúng, mâu thuẫn sai @b Luận lý mệnh đề thuộc loại inductive logic c Luận lý mệnh đề ngơn ngữ hình thức d Có câu sai câu a, b, c A B├─ B A Cho biết... biểu sai : a Về mặt ngữ nghĩa công thức : quán khả đúng, mâu thuẫn sai @b Luận lý mệnh đề thuộc loại inductive logic c Luận lý mệnh đề ngơn ngữ hình thức d Có câu sai câu a, b, c Dòng thuộc bảng