Đề thi giữa kỳ môn Luận lý toán học năm 2010 - Mã đề 1001
LUẬN LÝ TOÁN HỌC
Thời gian làm bài : 30 phút.
1. Công thức ở dạng CNF :
Mã số đề 1001
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.
a. (B C) (A B)
c. A B (B C)
b. (A B) (B (C D))
@d. Các câu a, b, c đều sai
2. Công thức F = (A B) (A B) cho kết qủa (pp số học) :
a. 1 + A. B
c.
@b. 1.
d. Các câu a, b, c đều sai
0
3. Công thức nào là hệ quả luận lý của hệ thống {A, B, A C }
a. A B @b. B C c. A B
d. B C.
4. {A , B, C} là mô hình của công thức :
@a. F = (A B) (A B)
c. F = (A B) A
b. F = A (B C)
d. Các câu a, b, c đều đúng.
5. Công thức nào tương đương với (A (B A)) A
@a. (A (B A)) A
c. (A (B A)) A
b. (A B) A
d. Các câu a, b, c đều sai.
6. Công thức ở dạng NNF :
a. (A B) (B C)
c. (A) B (B C)
@b. (A B) (B C)
d. Các câu a, b, c đều sai
7. Diễn dịch nào là mô hình của công thức (A B) (C B) :
a. { A, B, C}
@c. {A, B, C}
b. {A, B, C}
d. Các câu a, b, c đều không là mô hình.
8. Công thức F = A (A B) cho kết qủa (pp số học) :
a. 1 + A + A. B
c.
b. 1.
0
@d. Các câu a, b, c đều sai.
Mã số đề 1001
9. Lớp chỉ có bạn Trung ứng cử làm lớp trưởng. Sau khi lớp bỏ phiếu.
Bạn Mai nói “Nếu bạn Lan bỏ phiếu cho Trung thì bạn Vân cũng vậy".
1
Bạn Lan nói “Nếu Mai không bỏ phiếu cho Trung thì Vân cũng vậy".
Còn Vân nói “Mai bỏ phiếu cho Trung còn Lan thì không"
Nếu chỉ có một trong 3 bạn trên nói sự thật thì ai (trong 3 bạn) bỏ phiếu cho Trung.
a. chỉ có Mai bỏ phiếu cho Trung.
@b. chỉ có Vân bỏ phiếu cho Trung.
c. chỉ có Mai và Vân bỏ phiếu cho Trung. d. Mai, Lan và Vân bỏ phiếu cho Trung.
10. Công thức ở dạng Horn :
a. A (B C)
c. (A B C)
b. (A C) (B C A)
@d. Các câu a, b, c đều đúng.
11. Hệ quả luận lý của hệ thống {B C, A}
@a. B C
c. B C
b. A B
d. Các câu a, b, c đều sai.
12. Chuyển công thức (A B) (A B) về dạng DNF :
@a. (A B)
c. (A B) (A B)
b. (A B)
d. Các câu a, b, c đều sai.
13. Công thức ở dạng DNF :
a. (A D) (B A) D C
c. (A D B) (A C D)
@b. A (B C) D
d. Các câu a, b, c đều sai.
14. F = (A B) (A (B C))
@a. F có tất cả 2 mô hình
c. F có tất cả 4 mô hình
b. F có tất cả 3 mô hình
d. Các câu a, b, c đều sai.
15. Chọn câu đúng :
a. ├─ (AB) ((A C) (B C)).
b. Nếu A ≡ B thì A = B, và ngược lại nếu A = B thì A≡ B.
c. Luận lý mệnh đề là một deductive logic.
@d. Các câu a, b, c đều đúng.
16. Chuyển công thức A ((B C) D) về dạng CNF :
a. (A B) (C D)
@c. (A B C D)
b. (A B C D)
d. Các câu a, b, c đều sai.
Mã số đề 1001
17. A (B C) ├─ (A B) C. Cho biết chứng minh bắt đầu sai từ dòng nào :
1
2
3
4
A (B C)
tiền đề
if
A B
a. 5
b. 7
@c. 9
A
B
e 2
e 2
d. Chứng minh không sai.
5
6
7
8
9
B C
C
C (A B) i 6
nif (A B) C
(A B) C
e 1, 3
e 4, 5
sử dụng lại kết qủa đã chứng minh F G ├─ F G
i 2, 8
18. Chọn phát biểu đúng và tổng quát :
a. “X không hằng đúng X không hằng sai”.
b. Để biểu diễn công thức của LLMĐ chỉ cần tối thiểu 2 toán tử logic.
@c. Câu a và b đều đúng.
d. Câu a và b đều sai.
19. Chọn phát biểu sai :
a. ╞═ ((A B) B) A.
b. Bài toán SAT là bài toán chứng minh công thức khả đúng.
c. Nếu A ├─ C và B ├─ C thì A B├─ C.
@d. Có câu sai trong 3 câu a, b, c.
20. Chọn phát biểu đúng :
a. ├─ ((A B) A) A
c. ├─ (A B) (B A)
b. ├─ ((A B) (B A))
@d. Các câu a, b, c đều đúng.
21. Công thức ở dạng clausal form :
a. {A, B, C} {A}
c. {A B} {B A}
@b. {{A, B}, {B, A}}
d. Các câu a, b, c đều đúng.
22. F có bảng thực trị sau :
a.
b.
@c.
d.
F = (A B C) (A B) (A B C)
A
1
1
1
1
0
0
0
0
B
1
1
0
0
1
1
0
0
C
1
0
1
0
1
0
1
0
F
1
0
0
1
1
0
1
1
F = (A B C) (A B C) (A C)
F = (A B C) (A B C) (A B
Các câu a, b, c đều sai.
C)
3
Mã số đề 1001
23. Chọn phát biểu sai :
@a. ├─ F F (nguyên tắc triệt tam – LEM).
b. Hai công thức tương đương nếu có cùng tập các mô hình.
c. Công thức hằng đúng là công thức không mâu thuẫn.
d. Có câu sai trong 3 câu a, b, c.
24. Dòng nào thuộc bảng thực trị của công thức F = (B A) (A B) :
a. {A, B, F}
c. {A, B, F}
b. {A, B, F}
@d. Các câu a, b, c đều sai.
25. Cho bảng thực trị sau :
A
1
1
1
1
0
0
0
0
B
1
1
0
0
1
1
0
0
C
1
0
1
0
1
0
1
0
AC (1)
B C (2)
A B (3) F = (1) (2) (3)
a.
0
1
0
1
1
1
1
1
1
0
0
0
0
1
1
0
Cột
F là
(1, 0,
0, 1,
0, 0,
0, 1)
@c.
Cột
F là
1
0
1
0
0
0
0
0
1
1
(1, 0, 1, 1, 0, 0, 0, 1)
Tổng cộng : 25 câu.
d. Các câu a, b, c đều sai
Cách tính điểm.
00 – 01 câu = 00 điểm.
04 – 06 câu = 02 điểm.
09 – 11 câu = 04 điểm.
14 – 16 câu = 06 điểm.
19 – 21 câu = 08 điểm.
24 – 25 câu = 10 điểm.
Đáp án sẽ được để trên trang web.
02 – 03 câu = 01 điểm.
07 – 08 câu = 03 điểm.
12 – 13 câu = 05 điểm.
17 – 18 câu = 07 điểm.
22 – 23 câu = 09 điểm.
4
LUẬN LÝ TOÁN HỌC
Thời gian làm bài : 30 phút.
1. Chọn câu đúng :
Mã số đề 1010
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.
a. ├─ (AB) ((A C) (B C)).
b. Nếu A ≡ B thì A = B, và ngược lại nếu A = B thì A≡ B.
c. Luận lý mệnh đề là một deductive logic.
@d. Các câu a, b, c đều đúng.
2. Dòng nào thuộc bảng thực trị của công thức F = (B A) (A B) :
a. {A, B, F}
c. {A, B, F}
b. {A, B, F}
@d. Các câu a, b, c đều sai.
3. Chọn phát biểu đúng và tổng quát :
a. “X không hằng đúng X không hằng sai”.
b. Để biểu diễn công thức của LLMĐ chỉ cần tối thiểu 2 toán tử logic.
@c. Câu a và b đều đúng.
d. Câu a và b đều sai.
4. Công thức ở dạng clausal form :
a. {A, B, C} {A}
c. {A B} {B A}
@b. {{A, B}, {B, A}}
d. Các câu a, b, c đều đúng.
5. Chọn phát biểu sai :
a. ╞═ ((A B) B) A.
b. Bài toán SAT là bài toán chứng minh công thức khả đúng.
c. Nếu A ├─ C và B ├─ C thì A B├─ C.
@d. Có câu sai trong 3 câu a, b, c.
6. Công thức ở dạng CNF :
a. (B C) (A B)
c. A B (B C)
b. (A B) (B (C D))
@d. Các câu a, b, c đều sai
7. Công thức ở dạng DNF :
a. (A D) (B A) D C
c. (A D B) (A C D)
@b. A (B C) D
d. Các câu a, b, c đều sai.
Mã số đề 1010
8. Công thức F = A (A B) cho kết qủa (pp số học) :
5
a. 1 + A + A. B
c.
b. 1.
0
@d. Các câu a, b, c đều sai.
9. Công thức nào tương đương với (A (B A)) A
@a. (A (B A)) A
c. (A (B A)) A
b. (A B) A
d. Các câu a, b, c đều sai.
10. Hệ quả luận lý của hệ thống {B C, A}
@a. B C
c. B C
b. A B
d. Các câu a, b, c đều sai.
11. Công thức nào là hệ quả luận lý của hệ thống {A, B, A C }
a. A B @b. B C c. A B
12. Diễn dịch nào là mô hình của công thức (A B) (C B) :
d. B C.
a. { A, B, C}
@c. {A, B, C}
b. {A, B, C}
d. Các câu a, b, c đều không là mô hình.
13. Chuyển công thức (A B) (A B) về dạng DNF :
@a. (A B)
c. (A B) (A B)
b. (A B)
d. Các câu a, b, c đều sai.
14. F = (A B) (A (B C))
@a. F có tất cả 2 mô hình
c. F có tất cả 4 mô hình
b. F có tất cả 3 mô hình
d. Các câu a, b, c đều sai.
15. Chuyển công thức A ((B C) D) về dạng CNF :
a. (A B) (C D)
@c. (A B C D)
b. (A B C D)
d. Các câu a, b, c đều sai.
16. Chọn phát biểu đúng :
a. ├─ ((A B) A) A
c. ├─ (A B) (B A)
b. ├─ ((A B) (B A))
@d. Các câu a, b, c đều đúng.
Mã số đề 1010
17. F có bảng thực trị sau :
6
a.
b.
@c.
d.
F = (A B C) (A B) (A B C)
F = (A B C) (A B C) (A C)
F = (A B C) (A B C) (A B
Các câu a, b, c đều sai.
A
1
1
1
1
0
0
0
0
B
1
1
0
0
1
1
0
0
C
1
0
1
0
1
0
1
0
F
1
0
0
1
1
0
1
1
C)
18. Công thức ở dạng Horn :
a. A (B C)
c. (A B C)
b. (A C) (B C A)
@d. Các câu a, b, c đều đúng.
19. Chọn phát biểu sai :
@a. ├─ F F (nguyên tắc triệt tam – LEM).
b. Hai công thức tương đương nếu có cùng tập các mô hình.
c. Công thức hằng đúng là công thức không mâu thuẫn.
d. Có câu sai trong 3 câu a, b, c.
20. Cho bảng thực trị sau :
A
1
1
1
1
0
0
0
0
B
1
1
0
0
1
1
0
0
C
1
0
1
0
1
0
1
0
AC (1)
B C (2)
A B (3) F = (1) (2) (3)
0
1
1
1
1
0
0
1
0
0
1
1
1
1
0
0
0
1
0
1
a. Cột F là (1, 0, 0, 1, 0, 0, 0, 1)
@c. Cột F là (1, 0, 1, 1, 0, 0, 0, 1)
b. Cột F là (1, 0, 1, 1, 0, 1, 0, 1)
d. Các câu a, b, c đều sai
21. A (B C) ├─ (A B) C. Cho biết chứng minh bắt đầu sai từ dòng nào :
1
2
3
4
5
6
7
8
9
A (B C)
tiền đề
if
A B
a. 5
b. 7
A
B
B C
C
e 2
e 2
e 1, 3
e 4, 5
@c. 9
d. Chứng minh không sai.
C (A B) i 6
nif (A B) C
(A B) C
sử dụng lại kết qủa đã chứng minh F G ├─ F G
i 2, 8
Mã số đề 1010
22. Công thức F = (A B) (A B) cho kết qủa (pp số học) :
a. 1 + A. B
c.
@b. 1.
d. Các câu a, b, c đều sai
0
7
23. {A , B, C} là mô hình của công thức :
@a. F = (A B) (A B)
c. F = (A B) A
b. F = A (B C)
d. Các câu a, b, c đều đúng.
24. Công thức ở dạng NNF :
a. (A B) (B C)
c. (A) B (B C)
@b. (A B) (B C)
d. Các câu a, b, c đều sai
25. Lớp chỉ có bạn Trung ứng cử làm lớp trưởng. Sau khi lớp bỏ phiếu.
Bạn Mai nói “Nếu bạn Lan bỏ phiếu cho Trung thì bạn Vân cũng vậy".
Bạn Lan nói “Nếu Mai không bỏ phiếu cho Trung thì Vân cũng vậy".
Còn Vân nói “Mai bỏ phiếu cho Trung còn Lan thì không"
Nếu chỉ có một trong 3 bạn trên nói sự thật thì ai (trong 3 bạn) bỏ phiếu cho Trung.
a. chỉ có Mai bỏ phiếu cho Trung.
@b. chỉ có Vân bỏ phiếu cho Trung.
c. chỉ có Mai và Vân bỏ phiếu cho Trung. d. Mai, Lan và Vân bỏ phiếu cho Trung.
Tổng cộng : 25 câu.
Cách tính điểm.
00 – 01 câu = 00 điểm.
04 – 06 câu = 02 điểm.
09 – 11 câu = 04 điểm.
14 – 16 câu = 06 điểm.
19 – 21 câu = 08 điểm.
24 – 25 câu = 10 điểm.
Đáp án sẽ được để trên trang web.
02 – 03 câu = 01 điểm.
07 – 08 câu = 03 điểm.
12 – 13 câu = 05 điểm.
17 – 18 câu = 07 điểm.
22 – 23 câu = 09 điểm.
8
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. Công thức F = A (A B) cho kết qủa (pp số học) :
a. 1 + A + A. B
c.
b. 1.
0
@d. Các câu a, b, c đều sai.
2. Hệ quả luận lý của hệ thống {B C, A}
@a. B C
c. B C
b. A B
d. Các câu a, b, c đều sai.
3. Công thức ở dạng Horn :
a. A (B C)
c. (A B C)
b. (A C) (B C A)
@d. Các câu a, b, c đều đúng.
4. Chọn phát biểu đúng :
a. ├─ ((A B) A) A
c. ├─ (A B) (B A)
b. ├─ ((A B) (B A))
@d. Các câu a, b, c đều đúng.
5. Diễn dịch nào là mô hình của công thức (A B) (C B) :
a. { A, B, C}
@c. {A, B, C}
b. {A, B, C}
d. Các câu a, b, c đều không là mô hình.
6. F = (A B) (A (B C))
@a. F có tất cả 2 mô hình
c. F có tất cả 4 mô hình
b. F có tất cả 3 mô hình
d. Các câu a, b, c đều sai.
7. Chọn phát biểu sai :
a. ╞═ ((A B) B) A.
b. Bài toán SAT là bài toán chứng minh công thức khả đúng.
c. Nếu A ├─ C và B ├─ C thì A B├─ C.
@d. Có câu sai trong 3 câu a, b, c.
8. Chuyển công thức A ((B C) D) về dạng CNF :
a. (A B) (C D)
@c. (A B C D)
b. (A B C D)
d. Các câu a, b, c đều sai.
Mã số đề 0101
9. Chọn câu đúng :
9
a. ├─ (AB) ((A C) (B C)).
b. Nếu A ≡ B thì A = B, và ngược lại nếu A = B thì A≡ B.
c. Luận lý mệnh đề là một deductive logic.
@d. Các câu a, b, c đều đúng.
10. Công thức ở dạng clausal form :
a. {A, B, C} {A}
c. {A B} {B A}
@b. {{A, B}, {B, A}}
d. Các câu a, b, c đều đúng.
11. Công thức ở dạng CNF :
a. (B C) (A B)
c. A B (B C)
b. (A B) (B (C D))
@d. Các câu a, b, c đều sai
12. Dòng nào thuộc bảng thực trị của công thức F = (B A) (A B) :
a. {A, B, F}
c. {A, B, F}
b. {A, B, F}
@d. Các câu a, b, c đều sai.
13. {A , B, C} là mô hình của công thức :
@a. F = (A B) (A B)
c. F = (A B) A
b. F = A (B C)
d. Các câu a, b, c đều đúng.
14. Công thức nào là hệ quả luận lý của hệ thống {A, B, A C }
a. A B @b. B C c. A B
d. B C.
15. Công thức ở dạng DNF :
a. (A D) (B A) D C
c. (A D B) (A C D)
@b. A (B C) D
d. Các câu a, b, c đều sai.
16. Công thức nào tương đương với (A (B A)) A
@a. (A (B A)) A
c. (A (B A)) A
b. (A B) A
d. Các câu a, b, c đều sai.
Mã số đề 0101
17. F có bảng thực trị sau :
10
a.
b.
@c.
d.
F = (A B C) (A B) (A B C)
F = (A B C) (A B C) (A C)
F = (A B C) (A B C) (A B
Các câu a, b, c đều sai.
A
1
1
1
1
0
0
0
0
B
1
1
0
0
1
1
0
0
C
1
0
1
0
1
0
1
0
F
1
0
0
1
1
0
1
1
C)
18. Cho bảng thực trị sau :
A
1
1
1
1
0
0
0
0
B
1
1
0
0
1
1
0
0
C
1
0
1
0
1
0
1
0
AC (1)
B C (2)
A B (3) F = (1) (2) (3)
0
1
1
1
1
0
0
1
0
0
1
1
1
1
0
0
0
1
0
1
a. Cột F là (1, 0, 0, 1, 0, 0, 0, 1)
@c. Cột F là (1, 0, 1, 1, 0, 0, 0, 1)
b. Cột F là (1, 0, 1, 1, 0, 1, 0, 1)
d. Các câu a, b, c đều sai
19. Công thức F = (A B) (A B) cho kết qủa (pp số học) :
a. 1 + A. B
c.
@b. 1.
d. Các câu a, b, c đều sai
0
20. Công thức ở dạng NNF :
a. (A B) (B C)
c. (A) B (B C)
@b. (A B) (B C)
d. Các câu a, b, c đều sai
21. Lớp chỉ có bạn Trung ứng cử làm lớp trưởng. Sau khi lớp bỏ phiếu.
Bạn Mai nói “Nếu bạn Lan bỏ phiếu cho Trung thì bạn Vân cũng vậy".
Bạn Lan nói “Nếu Mai không bỏ phiếu cho Trung thì Vân cũng vậy".
Còn Vân nói “Mai bỏ phiếu cho Trung còn Lan thì không"
Nếu chỉ có một trong 3 bạn trên nói sự thật thì ai (trong 3 bạn) bỏ phiếu cho Trung.
a. chỉ có Mai bỏ phiếu cho Trung.
@b. chỉ có Vân bỏ phiếu cho Trung.
c. chỉ có Mai và Vân bỏ phiếu cho Trung. d. Mai, Lan và Vân bỏ phiếu cho Trung.
22. Chuyển công thức (A B) (A B) về dạng DNF :
@a. (A B)
c. (A B) (A B)
b. (A B)
d. Các câu a, b, c đều sai.
Mã số đề 0101
23. Chọn phát biểu đúng và tổng quát :
a. “X không hằng đúng X không hằng sai”.
b. Để biểu diễn công thức của LLMĐ chỉ cần tối thiểu 2 toán tử logic.
11
@c. Câu a và b đều đúng.
d. Câu a và b đều sai.
24. A (B C) ├─ (A B) C. Cho biết chứng minh bắt đầu sai từ dòng nào :
1
2
3
4
5
6
7
8
9
A (B C)
tiền đề
if
A B
a. 5
b. 7
A
B
B C
C
e 2
e 2
e 1, 3
e 4, 5
@c. 9
d. Chứng minh không sai.
C (A B) i 6
nif (A B) C
(A B) C
sử dụng lại kết qủa đã chứng minh F G ├─ F G
i 2, 8
25. Chọn phát biểu sai :
@a. ├─ F F (nguyên tắc triệt tam – LEM).
b. Hai công thức tương đương nếu có cùng tập các mô hình.
c. Công thức hằng đúng là công thức không mâu thuẫn.
d. Có câu sai trong 3 câu a, b, c.
Tổng cộng : 25 câu.
Cách tính điểm.
00 – 01 câu = 00 điểm.
04 – 06 câu = 02 điểm.
09 – 11 câu = 04 điểm.
14 – 16 câu = 06 điểm.
19 – 21 câu = 08 điểm.
24 – 25 câu = 10 điểm.
Đáp án sẽ được để trên trang web.
02 – 03 câu = 01 điểm.
07 – 08 câu = 03 điểm.
12 – 13 câu = 05 điểm.
17 – 18 câu = 07 điểm.
22 – 23 câu = 09 điểm.
12
12 trang
27740
Free
Bạn đang xem tài liệu "Đề thi giữa kỳ môn Luận lý toán học năm 2010 - Mã đề 1001", để tải tài liệu gốc về máy hãy click vào nút Download ở trên
File đính kèm:
- de_thi_giua_ky_mon_luan_ly_toan_hoc_nam_2010_ma_de_1001.doc
