Cũng như trong logic mệnh đề, trong logic vị từ khái niệm luật liên hệ chặt chẽ với khái niệm quy tắc suy luận.
Dưới đây là một số quy tắc suy luận trong logic vị từ thường dùng trong các chứng minh toán học. 1. ∀ x∈XP(x) P(y) 2. ∀ x∈X(P(x)⇒Q(x)), P(y) Q(y) Ý nghĩa:
• Với quy tắc suy luận (1): "NếuP(x)đúng với mọi phần tử x∈ X vày là một phần tử của X thì P(y) đúng".
Ví dụ: Mọi số nguyên tố lớn hơn 2 đều là số lẻ, 7 là số nguyên tố lớn hơn 2. Vậy 7 là số lẻ.
• Với quy tắc suy luận (2): "Nếu với mọi x∈ X, P(X)⇒ Q(x)là đúng và P(y)
là đúng với y ∈X thì Q(y) là đúng."
Ví dụ: Với mọi n ∈ N, nếu n là ước của 6 thì n là ước của 12. 3 là ước của 6 nên 3 là ước của 12.
BÀI TẬP
1. Trong các câu sau, câu nào là một mệnh đề. Xác định giá trị chân lý của các mệnh đề đó.
a) Không được đi qua.
b) Tổng các góc trong một tam giác có bằng 180o không? c) x là một số lẻ.
d) 51 chia cho 6 được 8 dư 2.
e) Số 11 không phải là số nguyên tố. f) 15 < 13.
2. Hãy đưa mỗi mệnh đề sau đây về dạng hội hoặc tuyển của các mệnh đề đơn, sau đó hãy tìm giá trị chân lý của các mệnh đề đó.
a) 1< √
5< 7. b) |sin12π| > 1.
c) Sô 235 chia hết cho 5 nhưng không chia hết cho 2. d) 11 và 13 là hai số lẻ nguyên tố cùng nhau.
e) 5 và 7 là hai số nguyên tố. 3. Tìm phủ định của các mệnh đề sau.
a) Không có ô nhiễm ở Quảng Bình.
b) Mùa hè ở TP. Hồ Chí Minh nắng và nóng. c) 5 + 7 =13.
d) Số 7777777 là số chẵn.
4. Hãy phát biểu các định lý sau đây dưới dạng mệnh đề kéo theop ⇒q. a) Hai góc đối đỉnh thì bằng nhau.
b) Mọi số chia hết cho 6 thì đều chia hết cho 3. c) Trong một tam giác cân hai góc ở đáy bằng nhau. d) Mọi hình vuông đều có hai đường chéo bằng nhau. e) Mọi số tự nhiên tận cùng là chẵn đều chia hết cho 2.
5. Hãy phát biểu các định lý sau đây dưới dạng mệnh đề tương đương p⇔q. a) Nếu tam giác ABC là tam giác cân thì nó có hai góc ở đáy bằng nhau và ngược lại.
b) Góc ngoài của một tam giác bằng tổng hai góc trong không kề với nó. c) Mọi số tự nhiên tận cùng bằng 0 hoặc 5 đều chia hết cho 5 và chỉ những số đó mới chia hết cho 5.
6. Lập bảng giá trị chân lý cho các mệnh đề sau: a) p⇒(q∨r)
b) p⇒(q ⇒r)
c) (p ⇒q)∨(p⇒r)
e) (p ⇔q)∨(q ⇔r) f) (p⇔q)⇔ (q ⇔r). 7. Cho p, q, r là các mệnh đề p : Bạn bị ốm q : Bạn thi rớt học phần Xác suất r : Bạn được lên lớp
Hãy diễn đạt các mệnh đề sau thành những câu thông thường. a) p⇒q
b) q ⇔r c) q ⇒r d) p∨q∨r (adsbygoogle = window.adsbygoogle || []).push({});
e) (p ⇒r)∨(q ⇒r).
8.Phát biểu mệnh đề đảo và phản đảo của các mệnh đề kéo theo sau: a) Nếu hôm nay có gió mùa Đông Bắc thì ngày mai trời rét. b) Tôi đều đi ra bãi biển bất cứ ngày nào trời nắng.
c) Nếu một số chia hết cho 6 thì chia hết cho 2 và 3.
d) Nếu một số chia hết cho 3 thì tổng các chữ số của nó chia hết cho 3. 9. Chứng minh các công thức sau đây là những công thức hằng đúng, sau đó viết chúng dưới dạng các luật.
a) p∧(p∨q)⇒q b) (p⇔q)⇒(p⇒q)
c) p∧(p⇔q)⇒q d) (p⇒q∧q)⇒ p.
10. Tìm miền đúng của các hàm mệnh đề xác định trên tập R các số thực. a) 2x+ 1 >5x.
b) x2+ 15x−16 = 0. c) 3x2+ 2x−1>0. d) 7x2−35x+ 42≤ 0.
11. Tìm miền đúng của các hàm mệnh đề xác định trên tập N các số tự nhiên. a) n chia hết cho 2 và 3.
b) n chia hết cho 5. c) n chia cho 7 dư 5. d) n là hợp số.
12. Tìm miền đúng của hàm mệnh đề hai biến xác định trên tập R các số thực và biểu diễn chúng trên mặt phẳng tọa độ.
a) x= y. b) x ≤y. c) x+y = 0.
13. Cho P(x) là một hàm xác định trên X. Chứng minh a) P(x)∨P(x) là hằng đúng trên X.
b) P(x)∧P(x) là hằng sai trên X.
14. Cho hai hàm mệnh đề xác định trên tập R các số thực. a) P(x) : 2x+ 1> 0.
b) Q(x) : x2−7x+ 10 <0.
Hãy tìm miền đúng của các hàm mệnh đề P(x)∧Q(x) và P(x)∨Q(x). 15. Cho hàm mệnh đề hai biến xác định trên tập R các số thực.
a) P(x) : 4x+ 4y = 111. b) Q(x) : 4x+ 2y = 100.