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 Công thức H nào thỏa {M, N, P, Q}╞═ H a H = M N[.]
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 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 CuuDuongThanCong.com https://fb.com/tailieudientucntt 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 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, 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 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 ( 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” 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 : CuuDuongThanCong.com https://fb.com/tailieudientucntt 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, 16 Công thức F = P ( P a P + Q @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 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 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 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, 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 : CuuDuongThanCong.com https://fb.com/tailieudientucntt 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 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” 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 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 ... 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... 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... 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