Đại học Huế

KỲ THI KẾT THÚC HỌC PHẦN

TRƯỜNG ĐẠI HỌC SƯ PHẠM

Học phần: Lôgic toán. Năm học: 2019 - 2020. Đề số 1. Thời gian: 90 minutes.
Dành cho lớp: 1A.

Bài I.
pq=⇒r,(r=⇒s)s
1. Chứng minh quy tắc suy luận p=⇒q .

∀x∈X,[P (x)=⇒Q(x)],Q(a)
2. Cho một ví dụ trong toán học minh họa quy tắc suy luận .
P (a)
Bài II.

1. Tìm dạng chuẩn tắc tuyển hoàn toàn của công thức mệnh đề S(p, q, r) = (p =⇒ qr) =⇒
(p ⊕ q).

2. Cho P (x), Q(x) và R(x) là ba hàm mệnh đề một biến xác định trên không gian X.
Giả sử ∃x ∈ X, [P (x) ∧ Q(x)] = 1 và ∀x ∈ X, [P (x) =⇒ R(x)] = 1. Chứng minh rằng
∃x ∈ X, [R(x) ∧ Q(x)] = 1.

Bài III. Cho P (x) và Q(x, y) là hai hàm mệnh đề xác định trên tập số thực R như sau:

P (x) : ”x = −1”. Q(x, y) : ”x + y + xy = −1”.

1. Viết các phát biểu sau dưới dạng công thức trong lôgic vị từ bằng cách sử dụng các ký
hiệu lôgic và hai hàm mệnh đề P (x), Q(x, y):

• Phát biểu 1: “Với mọi số thực a và b, nếu a 6= −1 và a + b + ab = −1 thì b = −1”.

• Phát biểu 2: “Không tồn tại hai số thực a và b sao cho a 6= −1, b 6= −1 và a+b+ab = −1”.

2. Hai phát biểu trên có tương đương không? Giải thích.

Bài IV. Xét hàm mệnh đề hai biến sau trên tập số thực R

P (x, y) : ”x2 − x < y − xy”.

1. Biểu diễn hình học miền đúng của hàm mệnh đề P (x, y)

2. Mệnh đề ∀y ∈ R, ∃x ∈ R, P (x, y) đúng hay sai? Giải thích.

Bài V. Cho x ∈ R và x > −1. Xét hàm mệnh đề sau trên tập các số nguyên dương:

P (n): “(1 + x)n ≥ 1 + nx”.

Sử dụng phương pháp quy nạp toán học, chứng minh rằng P (n) đúng với mọi số nguyên dương
n.
—————————————————————————————————————–
Ghi chú: Sinh viên không được sử dụng tài liệu khi làm bài.