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 a c T) R V (2) 1 R 1 1 B (3) H = (1) ne V (1) Zo B R 1 1 0 0 (2) B 1 0 1 0 T 1 1 en Cột H (0, 0, 1, 1, 0, 0, 0, 0) Cột H (0, 0, 1, 0, 1, 0, 0, 0) Tab 0 b d ? 0 1 1 (3) Vi V 1 1 nh B 1 0 1 0 B ( R B T) ( R B) ( R B T) (R B T) (R B T) ( R T) Các câu a, b, c sai Cho bảng thực trị Tab sau : R 1 1 0 0 (R C om b c d T) 0 Cột H (1, 0, 1, 1, 0, 0, 0, 0) Các câu a, b, c sai Si 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 + AB A + B + AB Công thức (A a c 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) ne a c B) cho kết qủa phương pháp số học : (A C om A Zo Chọn phát biểu sai : R) R) nh (P Q P ( Q Si a c Vi Công thức dạng Horn : en 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 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) SinhVienZone.com https://fb.com/sinhvienzonevn 13 Công thức dạng CNF : a c P Q P ((Q R) a c ( P S ( P S 14 15 (P ( P Q) ( P ( P 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 .C om a c (P Q) (Q R) (Q R) en Zo ne 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 Si nh Vi 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 SinhVienZone.com https://fb.com/sinhvienzonevn 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 ( 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 B B, A B C C} b d 25 Công thức dạng NNF : (A B) Các câu a, b, c sai b d ( A B) (B C) Các câu a, b, c sai Si nh Vi en a A B (B C) c ( A) B (B C) F có tất mơ hình Các câu a, b, c sai ne a c b d Zo a c B) C om 23 F = (A SinhVienZone.com https://fb.com/sinhvienzonevn ... B) 20 Chọn phát biểu : a c (F G) H├─ F (G Cả câu a, b H) G) H SinhVienZone. com https://fb .com/ sinhvienzonevn 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 :... 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) SinhVienZone. com https://fb .com/ sinhvienzonevn 13 Công thức dạng CNF : a c P Q P ((Q R) a c ( P S ( P S 14 15 (P... (B C) F có tất mơ hình Các câu a, b, c sai ne a c b d Zo a c B) C om 23 F = (A SinhVienZone. com https://fb .com/ sinhvienzonevn