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

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 : b d ((A B) ( B A)) Các câu a, b, c en Zo ne 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, nh Vi A ((A B) A) A (A B) ( B A) C om @a c Si 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 : 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 d B) (C D) B) : {A, B, C} Các câu a, b, c khơng mơ hình Công thức F = ( A B) (B ( A B) (B C) A B (B C) Vi b d Y = ( A B) (B C) Các câu a, b, c sai b ( A B) (B C) @d Các câu a, b, c sai nh a c en 10 Công thức dạng CNF : ((A B) (B A)) Các câu a, b, c C) tương đương với : Zo a X = ( A B) (B C) @c Z = A B (B C) b d ne @a ((A B) A) A c (A B) ( B A) C om Công thức định lý : Si 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 B) C A B C b d 15 Chọn câu tổng quát : AQ, AQ}╞═ AP AQ, AQ}╞═ (AP AQ) @b {AP AQ, AQ}╞═ ( AP d Các câu a, b, c sai ne a {AP c {AP A B C Các câu a, b, c sai .C om @a c { A , B} {A, B} 17 Công thức A a c Vi @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 B) ( A b d (B 20 Công thức F = (A + A + B Các câu a, b, c sai C)) có mơ hình : { A, B, C } {A, B, C } @a (A c ( A B) : D) có dạng chuẩn hội : C) B) ( A D C) B) ( A C D) 18 Công thức F = ( A 19 F = (A ( A @b {A, B} d Các câu a, b, c nh ( A D ( A D Si a c ((B en a c B) Zo 16 Diễn dịch khơng mơ hình cơng thức F = (A 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 B C b A B @d Các câu a, b, c 23 Cơng thức (A a @c B) C có dạng chuẩn giao : ( A B) C (A C) ( B C) A A) (A B) C Các câu a, b, c sai @b {{A, B}, {C}, { C, B, D}} d Các câu a, b, c sai Vi en ((A B) A) (A B) ( B b d Zo 24 Công thức dạng Clausal form : a c .C om A B ne a c C, D } ( A B) (B C) A B (B C) Si a @c nh 25 Công thức dạng DNF : 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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} B) : B C C, D } b A B @d Các câu a, b, c .C om A B ( A @b {A, B} d Các câu a, b, c Hệ luận lý hệ thống {A, B, A a c B) Công thức F = (A (A B) tương đương với : en B) B) A) Vi B) (A B) (B b ( A B) (B A) d Câu a, b, c A nh @a (A c ( A G Zo ne 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 Si 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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, a c .C om Công thức dạng CNF : ( A B) (B C) A B (B C) b ( A B) (B C) @d Các câu a, b, c sai B ( B C) C) @b ( A C) (B C d Các câu a, b, c B) (B Vi 11 Công thức F = ( A D) Zo (A ( A) en a c ne 10 Công thức dạng Horn : nh 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 Si 12 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 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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} a c B) ( A (B ( A B) : {A, B, F} Các câu a, b, c C)) có mơ hình : C om 17 F = (A b d A) { A, B, C } {A, B, C } b {A, B, C } @d Các câu a, b, c Zo ne 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 đề Vi en 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 nh 19 Chọn phát biểu : Si 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) SinhVienZone.com https://fb.com/sinhvienzonevn 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 B) A) (A B) ( B A A) @b {{A, B}, {C}, { C, B, D}} d Các câu a, b, c sai .C om a c 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 C có dạng chuẩn giao : ( A B) C (A C) ( B C) Vi a @c B) en 25 Công thức (A Zo ne 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 b d (A B) C Các câu a, b, c sai nh Tổng cộng : 25 câu Si 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 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 Công thức A ( A D ( A D F = (((A a c B) C) D) có dạng chuẩn hội : B) ( A D C) B) ( A C D) B) @b A ( B C) D d Các câu a, b, c sai B) : F = (B A) F = ( B A) @b F = (A B) d Câu a, b, c sai .C om a c ((B Chọn phát biểu : Chọn phát biểu sai : en Zo ne 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 Si nh Vi 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, SinhVienZone.com https://fb.com/sinhvienzonevn 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 a c (A ( A) B ( B C om Công thức dạng Horn : C) C) @b ( A C) (B C d Các câu a, b, c ( A B) : Vi ( A B) (B C) A B (B C) {A, B, F} Các câu a, b, c b ( A B) (B C) @d Các câu a, b, c sai nh a c en 10 Công thức dạng CNF : b d Zo a { A, B, F} @c { A, B, F} A) ne Dòng thuộc bảng thực trị công thức F = (B D) Si 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 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 } C om a @c b {A, B, C } @d Các câu a, b, c Zo AQ, AQ}╞═ AP AQ, AQ}╞═ (AP AQ) @b {AP AQ, AQ}╞═ ( AP d Các câu a, b, c sai AQ) en a {AP c {AP ne 16 Chọn câu tổng quát : ( A B) C A B C b d nh @a c Vi 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 B C Các câu a, b, c sai Si 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 B) cho kết qủa phương pháp số học : @a + A + AB c A + B + AB C có dạng chuẩn giao : B) ( A B) C (A C) ( B b d (A B) C Các câu a, b, c sai C) Zo a @c + A + B Các câu a, b, c sai ne 23 Công thức (A b d .C om 22 Công thức F = ( A Vi en 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 nh 25 Công thức F = ( A B) (B Si 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 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) tương đương với : B) A) b ( A B) (B A) d Câu a, b, c A .C om F = (A Chọn phát biểu sai : en Zo ne a Về mặt ngữ nghĩa cơng thức : qn 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 Vi Dòng thuộc bảng thực trị công thức F = (B nh a { A, B, F} @c { A, B, F} b d A) ( A B) : {A, B, F} Các câu a, b, c Si 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 @a c ( A B) C A B C b d .C om 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 B C Các câu a, b, c sai nh Vi en Zo ne 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, Si 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 : 17 Công thức A a c ((B ( A D ( A D b d C) C) (A B) C Các câu a, b, c sai ne ( A B) C (A C) ( B D) có dạng chuẩn hội : B) ( A D C) B) ( A C D) en a @c C có dạng chuẩn giao : B) Zo 16 Công thức (A C om 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 @b A ( B C) D d Các câu a, b, c sai { A , B} {A, B} B) ( A B) : @b {A, B} d Các câu a, b, c Si a c nh Vi 18 Diễn dịch khơng mơ hình cơng thức F = (A 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 SinhVienZone.com https://fb.com/sinhvienzonevn @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 ( A) 24 F = (((A B) C) C) B) @b ( A C) (B C d Các câu a, b, c B) : F = (B A) F = ( B A) D) @b F = (A B) d Câu a, b, c sai ne a c B ( B C om a c Zo 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 Vi en 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 nh Tổng cộng : 25 câu Si 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 SinhVienZone.com https://fb.com/sinhvienzonevn ... 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 SinhVienZone. com https://fb .com/ sinhvienzonevn d A Có câu sai câu a, b,... câu = 10 điểm Đáp án để trang web sau thi (chậm nhất) … vài ngày SinhVienZone. com https://fb .com/ sinhvienzonevn 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... câu = 10 điểm Đáp án để trang web sau thi (chậm nhất) … vài ngày 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