ĐẠI HỌC HUẾ ĐÁP ÁN

TRƯỜNG ĐHSP Học phần : Lôgic toán. Lớp : Toán 1T.

Năm học : 2019– 2020. Đề số 2.
Câu Nội dung Điểm
I.1 Sử dụng biến đổi hoặc bảng chân trị để chứng minh
là hằng đúng. 1.5

Cách 2 : Dùng định nghĩa : cho Chứng minh

.
I.2 1
Ví dụ: Mọi dãy số thực hội tụ thì bị chặn. Dãy số thực không bị chặn
nên không hội tụ.
II.1
- Chú ý rằng: và
1.5
- Khi đó .
Dạng chuẩn tắc tuyển hoàn toàn của S là:
(sử dụng bảng chân trị hoặc biến đổi tương đương).
QTSL này không hợp logic.
II.2 1
Giải thích: chứng tỏ rằng không là công thức hằng đúng.
Chẳng hạn, với (p,q,r) = (0,1,1) thì công thức nhận giá trị sai.
III.1 Cách 1: giả sử rằng , ta sẽ chứng tỏ , nghĩa là chứng

minh (*).
1.5
- TH 1: hay . Ta có hay (*) đúng.
- TH 2: . Ta có . Do đó, (*) đúng.
Cách 2: Chứng minh rằng bằng cách sử dụng biến
đổi tương đương.
III.2
Mệnh đề sai, ta sẽ bác bỏ. Thật vậy mệnh đề phủ định của nó 1
là mệnh đề đúng, vì với bất kỳ x, chọn y = 0 thì .
Mệnh đề là mệnh đề đúng, ta sẽ chứng minh nó. Thật vậy, với
bất kỳ x, ta chọn thì .
IV Dùng công thức miền đúng của hàm mệnh đề kéo theo:

. 1.5
Từ đó ta có đáp số: {1,2,3,4,5,6,8,9,10,11,12,14,15,16,17,18,20}. Các số 7, 13, 19
không thoả.
V
1

và phép hội cũng biểu diễn qua được phép

. Vì vậy là một hệ đầy đủ.
TỔNG 10
ĐẠI HỌC HUẾ ĐÁP ÁN
TRƯỜNG ĐHSP Học phần : Lôgic toán. Lớp : Toán 1T.
Năm học : 2019 – 2020. Đề số 1.

Câu Nội dung Điểm

I.1 Cách 1: Chứng minh là công thức hằng đúng 1.5

Cách 2: giả sử , ta chứng minh
I.2 1
Ví dụ: Mọi dãy số thực hội tụ thì bị chặn. Dãy số thực không bị chặn
nên không hội tụ.
- Chú ý rằng:
- Ta có . 1.5
II.1 - Dạng chuẩn tắc tuyển hoàn toàn của S là

1
II.2 Cách 1: Chứng minh miền đúng của hàm mệnh đề là tập khác rỗng
Cách 2: lập luận dựa vào các QTSL liên quan đến các lượng từ.

III.1 Phát biểu 1: 1

Phát biểu 2:
Hai phát biểu này tương đương lôgic vì ta có
III.2 1

IV.1 Biểu diễn hình học miền đúng 1

Mệnh đề sai vì dễ thấy khi y = -1 thì không có x nào thỏa
IV.2 1
P(x,y).
- n = 1: Dễ thấy P(1) đúng.
V - Giả sử P(k) đúng với . 1

Ta có:
- Vậy P(k+1) đúng.
TỔNG 10