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 Si nh Vi en Zo ne C om Công thức H thỏa {M, N, P, Q}╞═ H : a H = M N b H = M N c H = M N @d Câu a, b, c Mơ hình F = ((A B) ( A C)) (B C) @a { A, B, C } b { A, B, C } c {A, B, C } d Các câu a, b, c ((M N) (P N)) P tương đương với : a (M N) (P N) P @b M N (P N) P c (M N) (P N) P d Các câu a, b, c Chọn lập luận sai : a Nếu xe lửa đến trễ khơng có taxi trạm Thư bị trễ hẹn Thư khơng trễ hẹn Xe lửa đến trễ Vì có taxi trạm b Nếu trời mưa Thư không mang theo dù Thư bị ướt Thư không bị ướt trời mưa Vì Thư có mang theo dù @c Nếu Abraham Lincoln người Ethiopy ơng ta người Phi châu Abraham khơng người Phi châu Vì Abraham Lincoln người Ethiopy d Có câu sai câu 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 Dạng chuẩn NNF công thức (P Q) R : a (P Q) R b ( P R) (Q R) @c ( P Q) R d Các câu a, b, c Cơng thức ( P Q) (R Q) có diễn dịch khơng mơ hình : a {P, Q, R} @b { P, Q, R} c { P, Q, R} d Các câu a, b, c không mô hình Chọn phát biểu : a Lưỡng nguyên công thức phủ định công thức b Qui tắc hội e ( e) định nghĩa : dòng m : F G, dòng m+n : if F, dòng m+n+p : nif H, dòng m+n+p+k : if G, dòng m+n+p+k+q : nif K dòng m+n+p+k+q+1 : H K c Mơ hình diễn dịch mà cơng thức đánh giá @d Các câu a, b, c sai Công thức định lý : a ((A B) A) A b ((A B) ( B A)) c (A B) ( B A) @d Các câu a, b, c 10 Dòng thuộc bảng thực trị cơng thức F = (A B) ( B A) : 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 11 Cho biết câu có nhiều yếu tố : a {A B, A B, B}├─ (A B) b {A B, A B, B}├─ ( A B) c {A B, A B, B}├─ (B A) @d Câu a, b, c .C om 12 Chọn phát biểu có nhiều yếu tố : @a Luận lý mệnh đề deductive logic b Luận lý mệnh đề inductive logic c Luận lý mệnh đề vừa deductive logic inductive logic d Luận lý mệnh đề không thuộc lớp deductive logic inductive logic 13 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 if F e 1, a nif F id @b nif e 4, c nif G i 3, d Chứng minh không sai F G i 2, Si nh Vi en Zo ne 14 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 15 Nếu có ngày nghỉ trời có tuyết trượt tuyết Trời có tuyết có ngày nghỉ Vì trượt tuyết @a Các phát biểu có biểu diễn luận lý mệnh đề : ((Ngàynghỉ Cótuyết) Trượttuyết), Ngàynghỉ, Cótuyết ├─ Trượttuyết b Các phát biểu có biểu diễn luận lý mệnh đề : ( ((Ngàynghỉ Cótuyết) Trượttuyết) Ngàynghỉ Cótuyết) Trượttuyết c Các phát biểu không biểu diễn luận lý mệnh đề d Các câu a, b, c sai 16 Cơng thức (P Q) R có dạng chuẩn giao (CNF) : @a (P R) (R Q) b (P Q) R c (P Q R) d Các câu a, b, c 17 Công thức P ((Q R) S) có dạng chuẩn hội (DNF) : @a P ( Q R) S b P (Q R) S c ( P S Q) ( P S R) d Các câu a, b, c sai 18 P mệnh đề “x = y”, Q mệnh đề “x < y”, công thức (P Q) P : a “x > y” b “x ≥ y” @c “x < y” d “x ≤ y” 19 Công thức F = P ( P Q) cho kết qủa phương pháp số học : a P + Q b PQ @c P+Q+PQ d Các câu a, b, c sai 20 Câu tự tham chiếu (self-referential) : a Không câu khai báo @b Không xác định giá trị sai giới thực c có giá trị sai thay đổi theo thời gian d Các câu a, b, c Tổng cộng : 20 câu 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 ( P Q) (R Q) có diễn dịch khơng mơ hình : a {P, Q, R} @b { P, Q, R} c { P, Q, R} d Các câu a, b, c khơng mơ hình P mệnh đề “x = y”, Q mệnh đề “x < y”, công thức (P Q) P : a “x > y” b “x ≥ y” @c “x < y” d “x ≤ y” Si nh Vi en Zo ne C om Công thức H thỏa {M, N, P, Q}╞═ H : a H = M N b H = M N c H = M N @d Câu a, b, c Dòng thuộc bảng thực trị cơng thức F = (A B) ( B A) : a {A, B, F} @b {A, B, F} c { A, B, F} d Các câu a, b, c Nếu có ngày nghỉ trời có tuyết trượt tuyết Trời có tuyết có ngày nghỉ Vì trượt tuyết @a Các phát biểu có biểu diễn luận lý mệnh đề : ((Ngàynghỉ Cótuyết) Trượttuyết), Ngàynghỉ, Cótuyết ├─ Trượttuyết b Các phát biểu có biểu diễn luận lý mệnh đề : ( ((Ngàynghỉ Cótuyết) Trượttuyết) Ngàynghỉ Cótuyết) Trượttuyết c Các phát biểu không biểu diễn luận lý mệnh đề d Các câu a, b, c sai Dạng chuẩn NNF công thức (P Q) R : a (P Q) R b ( P R) (Q R) @c ( P Q) R d Các câu a, b, c Công thức định lý : a ((A B) A) A b ((A B) ( B A)) c (A B) ( B A) @d Các câu a, b, c Chọn lập luận sai : a Nếu xe lửa đến trễ khơng có taxi trạm Thư bị trễ hẹn Thư không trễ hẹn Xe lửa đến trễ Vì có taxi trạm b Nếu trời mưa Thư không mang theo dù Thư bị ướt Thư khơng bị ướt trời mưa Vì Thư có mang theo dù @c Nếu Abraham Lincoln người Ethiopy ơng ta người Phi châu Abraham khơng người Phi châu Vì Abraham Lincoln người Ethiopy d Có câu sai câu ((M N) (P N)) P tương đương với : a (M N) (P N) P @b M N (P N) P c (M N) (P N) P d Các câu a, b, c 10 Công thức (P Q) R có dạng chuẩn giao (CNF) : @a (P R) (R Q) b (P Q) R c (P Q R) d Các câu a, b, c 11 Cho biết câu có nhiều yếu tố : a {A B, A B, B}├─ (A B) b {A B, A B, B}├─ ( A B) c {A B, A B, B}├─ (B A) @d Câu a, b, c 12 Chọn phát biểu : SinhVienZone.com https://fb.com/sinhvienzonevn Q) cho kết qủa phương pháp số học : b PQ d Các câu a, b, c sai en 16 Công thức F = P ( P a P + Q @c P+Q+PQ Zo ne C om a Lưỡng nguyên công thức phủ định công thức b Qui tắc hội e ( e) định nghĩa : dòng m : F G, dòng m+n : if F, dòng m+n+p : nif H, dòng m+n+p+k : if G, dòng m+n+p+k+q : nif K dòng m+n+p+k+q+1 : H K c Mơ hình diễn dịch mà cơng thức đánh giá @d Các câu a, b, c sai 13 Công thức P ((Q R) S) có dạng chuẩn hội (DNF) : @a P ( Q R) S b P (Q R) S c ( P S Q) ( P S R) d Các câu a, b, c sai 14 Chọn phát biểu có nhiều yếu tố : @a Luận lý mệnh đề deductive logic b Luận lý mệnh đề inductive logic c Luận lý mệnh đề vừa deductive logic inductive logic d Luận lý mệnh đề không thuộc lớp deductive logic inductive logic 15 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 if F e 1, a nif F id @b nif e 4, c nif G i 3, d Chứng minh không sai F G i 2, Si nh Vi 17 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 18 Câu tự tham chiếu (self-referential) : a Không câu khai báo @b Không xác định giá trị sai giới thực c có giá trị sai thay đổi theo thời gian d Các câu a, b, c 19 Mơ hình F = ((A B) ( A C)) (B C) @a { A, B, C } b { A, B, C } c {A, B, C } d Các câu a, b, c 20 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 Tổng cộng : 20 câu 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 Vi en Zo ne C om Công thức định lý : a ((A B) A) A b ((A B) ( B A)) c (A B) ( B A) @d Các câu a, b, c Câu tự tham chiếu (self-referential) : a Không câu khai báo @b Không xác định giá trị sai giới thực c có giá trị sai thay đổi theo thời gian d Các câu a, b, c Công thức ( P Q) (R Q) có diễn dịch khơng mơ hình : a {P, Q, R} @b { P, Q, R} c { P, Q, R} d Các câu a, b, c khơng mơ hình Cho biết câu có nhiều yếu tố : a {A B, A B, B}├─ (A B) b {A B, A B, B}├─ ( A B) c {A B, A B, B}├─ (B A) @d Câu a, b, c 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 if F e 1, a nif F id @b nif e 4, c nif G i 3, d Chứng minh không sai F G i 2, Si nh Dạng chuẩn NNF công thức (P Q) R : a (P Q) R b ( P R) (Q R) @c ( P Q) R d Các câu a, b, c ((M N) (P N)) P tương đương với : a (M N) (P N) P @b M N (P N) c (M N) (P N) P d Các câu a, b, c Dòng thuộc bảng thực trị công thức F = (A B) ( B A) : a {A, B, F} @b {A, B, F} c { A, B, F} d Các câu a, b, c Công thức H thỏa {M, N, P, Q}╞═ H : a H = M N b H = M N c H = M N @d Câu a, b, c 10 Công thức F = P ( P Q) cho kết qủa phương pháp số học : a P + Q b PQ @c P+Q+PQ d Các câu a, b, c sai P 11 Công thức (P Q) R có dạng chuẩn giao (CNF) : @a (P R) (R Q) b (P Q) R c (P Q R) d Các câu a, b, c 12 Chọn lập luận sai : SinhVienZone.com https://fb.com/sinhvienzonevn Nếu xe lửa đến trễ khơng có taxi trạm Thư bị trễ hẹn Thư không trễ hẹn Xe lửa đến trễ Vì có taxi trạm b Nếu trời mưa Thư không mang theo dù Thư bị ướt Thư không bị ướt trời mưa Vì Thư có mang theo dù @c Nếu Abraham Lincoln người Ethiopy ơng ta người Phi châu Abraham khơng người Phi châu Vì Abraham Lincoln người Ethiopy d Có câu sai câu 13 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 14 Chọn phát biểu : a Lưỡng nguyên công thức phủ định công thức b Qui tắc hội e ( e) định nghĩa : dòng m : F G, dòng m+n : if F, dòng m+n+p : nif H, dòng m+n+p+k : if G, dòng m+n+p+k+q : nif K dòng m+n+p+k+q+1 : H K c Mơ hình diễn dịch mà cơng thức đánh giá @d Các câu a, b, c sai 15 Công thức P ((Q R) S) có dạng chuẩn hội (DNF) : @a P ( Q R) S b P (Q R) S c ( P S Q) ( P S R) d Các câu a, b, c sai 16 Mơ hình F = ((A B) ( A C)) (B C) @a { A, B, C } b { A, B, C } c {A, B, C } d Các câu a, b, c 17 Nếu có ngày nghỉ trời có tuyết trượt tuyết Trời có tuyết có ngày nghỉ Vì trượt tuyết @a Các phát biểu có biểu diễn luận lý mệnh đề : ((Ngàynghỉ Cótuyết) Trượttuyết), Ngàynghỉ, Cótuyết ├─ Trượttuyết b Các phát biểu có biểu diễn luận lý mệnh đề : ( ((Ngàynghỉ Cótuyết) Trượttuyết) Ngàynghỉ Cótuyết) Trượttuyết c Các phát biểu không biểu diễn luận lý mệnh đề d Các câu a, b, c sai 18 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 19 P mệnh đề “x = y”, Q mệnh đề “x < y”, công thức (P Q) P : a “x > y” b “x ≥ y” @c “x < y” d “x ≤ y” Si nh Vi en Zo ne C om a 20 Chọn phát biểu có nhiều yếu tố : @a Luận lý mệnh đề deductive logic b Luận lý mệnh đề inductive logic c Luận lý mệnh đề vừa deductive logic inductive logic d Luận lý mệnh đề không thuộc lớp deductive logic inductive logic 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 ... : @a Luận lý mệnh đề deductive logic b Luận lý mệnh đề inductive logic c Luận lý mệnh đề vừa deductive logic inductive logic d Luận lý mệnh đề không thuộc lớp deductive logic inductive logic. .. : @a Luận lý mệnh đề deductive logic b Luận lý mệnh đề inductive logic c Luận lý mệnh đề vừa deductive logic inductive logic d Luận lý mệnh đề không thuộc lớp deductive logic inductive logic. .. : @a Luận lý mệnh đề deductive logic b Luận lý mệnh đề inductive logic c Luận lý mệnh đề vừa deductive logic inductive logic d Luận lý mệnh đề không thuộc lớp deductive logic inductive logic