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ố đề 0110 Thí sinh được sử dụng tài liệu và giữ lại đề thi 1* Cho biết câu nào là đúng và tổng quát nhất a {P[.]
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 1* Cho biết câu tổng quát : a {P Q, Q}╞═ P c {P Q, Q}╞═ (P Q) b {P Q, Q}╞═ (P Q) @d Các câu a, b, c sai 2* Công thức F = (((P Q) a F c F = (Q P) @b F = (P Q) d Câu a, b, c sai P) Q) : 3* Biểu diễn phát biểu sau vào luận lý mệnh đề : - Trái táo ngon khơng bị nấu chín Trái táo khơng bị nấu chín Vì ngon - Nếu trời mưa khơng mang theo dù bị ướt Trời mưa khơng bị ướt Vì có mang theo dù a Nấuchín Ngon, Nấuchín ╞═ Ngon (Mưa Mangdù) Bịướt, Mưa Bịướt ╞═ Mangdù b Nấuchín Ngon, Nấuchín ├─ Ngon (Mưa Mangdù) Bịướt, Mưa Bịướt ├─ Mangdù c ├─ (( Nấuchín Ngon) Nấuchín) Ngon ├─ (((Mưa Mangdù) Bịướt) Mưa Bịướt) Mangdù @d Các câu a, b, c 4* Nếu đậu đại học (H) gia đình có tiền (S) Vũ du hoc (G) Gia đình có tiền Vũ đậu đại học Vì Vũ du học @a Lập luận biểu diễn luận lý mệnh đề : ((H S) G), H, S ├─ G b Lập luận biểu diễn luận lý mệnh đề : ( ((H S) G) H S) G c Các câu a, b d Các câu a, b, c sai Mơ hình F = ((A a { A, B, C } c {A, B, C } B) ( A C)) (B C) b {A, B, C } @d Các câu a, b, c 6* Công thức ( P Q) (Q R) tương đương với : a ( P Q) (Q R) b ( P Q) (Q R) @c P Q (Q R) d Các câu a, b, c sai 7* Công thức F = (A B) (A a (A B) (A B) c ( A B) (B A) B) tương đương với : b ( A B) (B A) A @d Câu a, b, c Công thức dạng Horn : a (P Q) R c ( P Q) R Công thức F = (M N) ( M a { M , N} c {M, N} 10 Công thức ( P Q) @a {P, Q, R} (R @b ( P R) (Q R) d Các câu a, b, c N) có diễn dịch khơng mơ hình : @b {M, N} d Các câu a, b, c Q) có diễn dịch mơ hình : b { P, Q, R} CuuDuongThanCong.com https://fb.com/tailieudientucntt { P, Q, R} d Các câu a, b, c khơng mơ hình 11 Cơng thức không đị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 c 12* Công thức hệ luận lý hệ thống {A, B, A C } a A B b A B c B C @d Các câu a, b, c 13 Công thức P ((Q R) S) có dạng chuẩn hội : a ( P S Q) ( P S R) b ( P Q R S) c ( P S Q) ( P S R) @d Các câu a, b, c sai 14* Dạng chuẩn giao công thức (P a ( P Q R) (P R) c (P Q R) Q) R : @b ( P R) ( Q R) d Các câu a, b, c 15* Công thức (P Q) R có dạng chuẩn giao : a ( P Q) R b (P Q) R c (P Q R) @d Các câu a, b, c sai 16 A phát biểu “x a (A C) c ( P S a “x > y” y”, B “x < y”, C “0 < x”, phát biểu “0 < x ≤ y” công thức : B b P (Q R) S Q) ( P S R) d Các câu a, b, c sai b “x ≥ y” @c “x < y” d “x ≤ y” 17new Chọn phát biểu sai : a Công thức cơng thức có diễn dịch 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 G, dịng m+n : F d Có câu sai câu a, b, c 18 G F├─ F G Cho biết chứng minh bắt đầu sai từ dòng : G F tiền đề if F if G F e 1, a nif e 2, b G i 3, c nif G e6 @d Chứng minh không sai F G i 2, 19 Công thức F = P ( P @a 1+P + PQ c P+Q+PQ Q) cho kết qủa phương pháp số học : b PQ d Các câu a, b, c sai 20 Dòng thuộc bảng thực trị công thức F = (B A) ( A B) : a {A, B, F} b {A, B, F} @c { A, B, F} d Các câu a, b, c CuuDuongThanCong.com https://fb.com/tailieudientucntt Tổng cộng : 20 câu CuuDuongThanCong.com https://fb.com/tailieudientucntt Bảng hoán vị câu hỏi 13 10 18 15 12 15 20 16 17 12 10 18 11 10 12 13 17 14 19 11 15 13 16 14 19 17 18 20 19 11 20 16 14 17 13 14 15 20 18 12 11 16 10 19 20 13 19 12 16 10 17 15 14 18 11 16 17 12 11 15 13 14 20 18 10 19 14 17 19 16 12 15 18 13 11 20 10 15 19 10 13 12 17 11 14 20 16 18 11 12 18 19 13 16 15 20 17 10 14 13 15 17 10 11 12 14 16 18 19 20 CuuDuongThanCong.com https://fb.com/tailieudientucntt ... câu a, b, c khơng mơ hình 11 Cơng thức khơng đị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 c 12* Công thức hệ luận lý hệ thống {A, B, A C } a A B b A B c B C @d Các