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) : ne C om 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 Vi en Zo 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 B) ( A C)) (B C) b {A, B, C } @d Các câu a, b, c Si nh Mơ hình F = ((A a { A, B, C } c {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} SinhVienZone.com https://fb.com/sinhvienzonevn { 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 Q) R : @b ( P R) ( Q R) d Các câu a, b, c .C om 14* Dạng chuẩn giao công thức (P a ( P Q R) (P R) c (P Q R) 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” Zo 16 A phát biểu “x a (A C) c ( P S a “x > y” ne 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 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, Si 18 G nh Vi en 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 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 SinhVienZone.com https://fb.com/sinhvienzonevn Si nh Vi en Zo ne C om Tổng cộng : 20 câu SinhVienZone.com https://fb.com/sinhvienzonevn 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 C om 20 13 19 12 16 10 17 15 14 18 11 ne 17 13 14 15 20 18 12 11 16 10 19 11 12 18 19 13 16 15 20 17 10 14 13 15 17 10 11 12 14 16 18 19 20 Si nh Vi en Zo 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 SinhVienZone.com https://fb.com/sinhvienzonevn ... 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 SinhVienZone. com https://fb .com/ sinhvienzonevn... SinhVienZone. com https://fb .com/ sinhvienzonevn Si nh Vi en Zo ne C om Tổng cộng : 20 câu SinhVienZone. com https://fb .com/ sinhvienzonevn 16 17 12 11 15 13 14 20 18 10 19 14 17 19 16 12 15 18 13 11 20 10... 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 SinhVienZone. com https://fb .com/ sinhvienzonevn