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ố đề 0101 Thí sinh được sử dụng tài liệu và giữ lại đề thi Thí sinh chọn câu trả lời đúng và tổng quát nhất 1[.]
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 Thí sinh chọn câu trả lời tổng quát Công thức có bảng thực trị sau : a ( R B T) ( R B b c d T) (R B T) R 1 1 0 0 ( R B T) ( R B) ( R B T) (R B T) (R B T) ( R T) Các câu a, b, c sai B 1 0 1 0 T 1 1 ? 0 1 1 Cho bảng thực trị Tab sau : R 1 1 0 0 B 1 0 1 0 a c V 1 1 B V (1) 1 1 R V (2) 1 R B (3) H = (1) (2) (3) Tab 0 Cột H (0, 0, 1, 1, 0, 0, 0, 0) Cột H (0, 0, 1, 0, 1, 0, 0, 0) 0 b d 0 Cột H (1, 0, 1, 1, 0, 0, 0, 0) Các câu a, b, c sai Italy, 13th April 2008 A journalist stops three friends R, B, V (Mr Rossi, Mr Bianchi and Mr Verdi) who just left the voting office The journalist interviews them separately about their votes in the elections Mr Rossi declares: “If Bianchi voted for Berlusconi then also Verdi did" Mr Bianchi declares: “If Rossi did not vote for Berlusconi, then also Verdi did not" Finally, Verdi declares: “Rossi voted for Berlusconi while Bianchi did not" (Chú ý : xem bảng thực trị Tab câu trên) If only one is telling the truth, who has voted for Berlusconi and who has voted against him? a Only Verdi has voted for Berlusconi b Only Bianchi has voted for Berlusconi c Only Rossi has voted for Berlusconi d Only Rossi and Verdi have voted for Berlusconi Chọn phát biểu : a Công thức mâu thuẫn công thức b Hai cơng thức có tập mơ hình tương đương c Câu a b d Câu a b sai CuuDuongThanCong.com https://fb.com/tailieudientucntt 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 nif B id b e 3, c A i 3, d Chứng minh không sai nif A e6 B A i 2, Công thức F = A a c + A + AB A + B + AB Công thức (A a c B) cho kết qủa phương pháp số học : (A Các câu a, b, c sai b d A ( B C) Các câu a, b, c sai C có dạng CNF : B) A B ( A B b d C C) Chọn phát biểu sai : a Nếu cơng thức có diễn dịch mơ hình b Nếu cơng thức có giá trị phương pháp số học c (A B╞═ A B) công thức d Có câu sai câu a, b, c Công thức dạng Horn : a c (P Q P ( Q R) R) b d ( P R) (Q R P) Các câu a, b, c b d ├─ ((A B) (B A)) Các câu a, b, c 10 Chọn phát biểu : a c ├─ ((A B) A) ├─ (A B) ( B A A) 11 Diễn dịch mơ hình cơng thức ( C a c {A, B, C} { A, B, C} B) ( A 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 12 Công thức dạng Horn : a c (A B ( A B) C) A ( B A) CuuDuongThanCong.com https://fb.com/tailieudientucntt 13 Công thức dạng CNF : a c P Q P ((Q R) a c ( P S ( P S 14 15 (P a c ( P Q) (P ( P ( P Q) (Q R) (Q R) b d ( P Q) ( Q R) Các câu a, b, c sai S) có dạng chuẩn hội : Q) ( P S R) Q) ( P R S) b d P ( Q R) S Các câu a, b, c sai Q) tương đương với : Q) (P Q) Q) (Q P) b d ( P Q) (Q P) Câu a, b, c sai P 16 Biểu diễn phát biểu sau 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 17 Chọn phát biểu sai : a ├─ (F (G F) b (G H) ├─ (F G) (F H) c Qui tắc hội e ( e) định nghĩa : dòng m : F G, dòng m+1: if F nif H, dòng m+n : if G nif H, dịng m+k : H d Có câu sai câu a, b, c 18 Dòng thuộc bảng thực trị công thức F = (B a c { A, B, F} { A, B, F} A) ( A B) : b d {A, B, F} Các câu a, b, c sai b d (A B) C Các câu a, b, c b d F (G H) ├─ (F Cả câu a, b sai 19 { A , B, C} mơ hình công thức : a c F = (A F = (A B) B) ( A A B) 20 Chọn phát biểu : a c (F G) H├─ F (G Cả câu a, b H) G) H CuuDuongThanCong.com https://fb.com/tailieudientucntt 21 Công thức hệ luận lý hệ thống {A, B, A a A B b B C c A B C} d B C 22 Chọn câu : a (F G) ((F H) (G H)) b Nếu F ╞═ H K ╞═ F H = K c Nếu tập mơ hình cơng thức H tập tập mơ hình F F ╞═ H d Các câu a, b, c 23 F = (A a c B) ( A (B C)) F có tất mơ hình F có tất mơ hình 24 Hệ luận lý hệ thống {A a c A B B C b d B, A F có tất mơ hình Các câu a, b, c sai C} 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 25 Công thức dạng NNF : a A B (B C) c ( A) B (B C) CuuDuongThanCong.com https://fb.com/tailieudientucntt ... tương đương với : Q) (P Q) Q) (Q P) b d ( P Q) (Q P) Câu a, b, c sai P 16 Biểu diễn phát biểu sau 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... (G Cả câu a, b H) G) H CuuDuongThanCong.com https://fb.com/tailieudientucntt 21 Công thức hệ luận lý hệ thống {A, B, A a A B b B C c A B C} d B C 22 Chọn câu : a (F G) ((F H) (G H)) b Nếu F ╞═... F ╞═ H d Các câu a, b, c 23 F = (A a c B) ( A (B C)) F có tất mơ hình F có tất mơ hình 24 Hệ luận lý hệ thống {A a c A B B C b d B, A F có tất mơ hình Các câu a, b, c sai C} b d (A B) Các câu