Professional Documents
Culture Documents
Bai Tap Tud Chuong 1 Logic Menh de
Bai Tap Tud Chuong 1 Logic Menh de
HCM
KHOA CÔNG NGHỆ THÔNG TIN
BỘ MÔN KHOA HỌC MÁY TÍNH
BÀI TẬP TOÁN ỨNG DỤNG
1. Trong các khẳng định sau, cho biết khẳng định nào là mệnh đề:
a) Trần Hưng Đạo là một vị tướng tài.
b) x +1 là một số nguyên dương.
c) 9 là một số chẵn.
d) Hôm nay trời đẹp làm sao!
e) Hãy học Toán rời rạc đi.
f) Nếu bạn đến trễ thì tôi sẽ xem bóng đá trước.
7. Giả sử P và Q là hai mệnh đề nguyên thủy sao cho P →Q sai. Hãy xác định chân trị của
các mệnh đề sau:
a) P ∧Q b) ¬ P ∨Q c) Q → P
10. Có bao nhiêu cách đặt dấu “()” khác nhau vào dạng mệnh đề ¬ p ∨ q ∨r. Lập bảng chân
trị cho từng trường hợp.
11. Lập bảng chân trị cho các dạng mệnh đề sau:
a) ¬ p →( p ∨q) b)¬ p →(¬ q ∨r )
c) ( p ∧q) →¬ q d) ( p ∨q) →(r ∨¬ p)
e) ( p → q)∨(q → p) f) ( p ∨¬ q)∧(¬ p ∨ q)
g) ( p →¬ q)∨(q →¬ p) h) ¬(¬ p ∧¬ q)
12. Hãy chỉ ra các hằng đúng trong các dạng mệnh đề sau:
a) ( p ∨q) →( p ∧q) b) ( p ∧q) →( p ∨q)
b) p →(¬q → p) d) p →( p → q)
c) p →( p → p) f)( p →q ) → [(q → r) →( p →r )]
13. Trong các khẳng định sau, hãy chỉ ra các khẳng định đúng:
a) q ⇒ p → q
b) ¬( p →q) ⟹ p
c) ( p ∧q ) ∨ r ⟹ p ∧(q ∨r )
d) ( p → q)∧(q → r )⟹ p →( q →r )
e) p → ( q → r ) ⟹ p → r
f) p →(q ∧r ) ⟹ p → q
g) ( p ∧q) → r ⟹( p → r)∧(q → r)
h) p →(q ∨r ) ⟹( p→ q) ∨( p → r )
i) (¬ p → q)∨( p →¬ q)⟹ p ∧q
14.
a) Giả sử biến mệnh đề p có chân trị 1, hãy xác định tất cả các chân trị của các biến
mệnh đề q ,r , s để cho dạng mệnh đề sau lấy chân trị 1:
( p →[(¬ p ∨r )∧¬ s]¿ ∧[¬ s →(¬r ∧ p)]
b) Câu hỏi tương tự cho trường hợp p có chân trị 0
15. Hãy chỉ ra các khẳng định đúng trong số các khẳng định sau:
a) p ∧ ( p →q ) ⟺ p ∧q
b) p →q ⟺¬ p ∨ ( p ∧ q )
c) p →q ⟺¬ p → ¬q
d) ¬ p ⟺ ¬ ( p ∨q ) ∨ ( ¬ p ∧q )
e) [ ( p ⟷ q ) ∧ ( q ⟷ r ) ∧ ( r ⟷ p ) ] ⟺ [ ( p →q ) ∧ ( q → r ) ∧ ( r → p ) ]
f) ( p ∧q) ∨(q ∧r ) ∨(r ∧ p)⟺( p ∨q)∧( q ∨r )∧(r ∨ p)
16. Dùng quy tắc thay thế để kiểm tra các dạng mệnh đề sau là hằng đúng:
a) [( p ∨q)→ r ] ⟷[¬ r →¬( p ∨q)]
b) [ [ ( p ∨q ) → r ] ∨ ( s ∨ t ) ] ⟷[[[(q ∨ q)→ r ]∨ s]∧[[( p ∨q) → r ]∨ t]]¿
18. Lấy phủ định rồi đơn giản các dạng mệnh đề sau:
a) p ∧( q ∨r )∧(¬ p ∨¬ q ∨r ) b) ( p ∧q) → r
c) p → ( ¬ q ∧r ) d) p ∨q ∨ (¬ p∧ ¬q ∧ r )
21. Hãy điền mệnh đề vào chỗ trống để cho các suy luận sau đây theo phương pháp khẳng
định và phủ định là đúng:
a) Nếu xe của Minh không khởi động được thì anh phải kiểm tra bugi.
Mà xe của Minh không khởi động được.
Suy ra........................................................................................................................
b) Nếu Hà làm bài đúng thì cô được điểm cao
Mà Hà không được điểm cao
Suy ra........................................................................................................................
c) Nếu đây là vòng lặp REPEAT-UNTIL thì phần thân của vòng lặp phải được thực
hiên ít nhất một lần
Mà.............................................................................................................................
Vậy phần thân của vòng lặp được thực hiên ít nhất một lần.
d) Nếu chiều nay Minh đá bóng thì Minh không được xem tivi buổi tối
Mà.............................................................................................................................
Vậy Minh không đá bóng chiều nay.
22. Xét suy diễn:
[ p ∧( p →q) ∧(s ∨r )∧(r →¬ q)]→(s ∨ t)
23. Xét suy diễn sau:
(¬ p ∨ q)→ r
r→(s ∨t)
¬ s ∨¬ u
¬u → ¬t
∴p
d) p B ∧ q e) p →(q → r) f) p ∨q
p →(∧q) p∨s ¬ p ∨r
r →(s ∨t) t→q ¬r
¬s ¬s ∴q
∴¬( p ∨r ) ∴ ¬r →¬ t
30. Hãy kiểm tra xem các suy luận sau có đúng không
a) Nếu An được lên chức và làm việc nhiều thì An sẽ được tăng lương
Nếu được tăng lương An sẽ mua xe mới
Mà An không mua xe mới
Vậy An không được lên chức hay An không làm việc nhiều.
b) Nếu muốn dự họp sáng thứ ba thì Minh phải dạy sớm
Nếu Minh đi nghe nhạc tối thứ hai thì Minh sẽ về trễ
Nếu về trễ và thức dậy sớm thì Minh phải đi họp mà chỉ ngủ dưới 7 giờ
Nhưng Minh không thể đi họp nếu chỉ ngủ dưới 7 giờ
Do đó hoặc là Minh không đi nghe nhạc thối thứ hai hoặc là Minh phải bỏ họp sáng
thứ ba.
c) Nếu Bình đi làm về muộn thì vợ anh ta sẽ rất giận dữ
Nếu An thường xuyên vắng nhà thì vợ anh ta sẽ rất giận dữ
Nếu vợ Bình hay vợ An giận dữ thì cô Hà bạn họ sẽ nhận được lời than phiền
Mà Hà không nhận được lời than phiền
Vậy Bình đi làm về sớm và An ít khi vắng nhà.