Bài tập chương 1

Bài tập
Bài tập 1: Lập bảng chân trị của những dạng mệnh đề
sau:
E(p,q) = pq→r
F(p,q,r) = pqrq
G(p,q,r) = p → q  pq → qr
H(p,q,r) = [(p → q)  pq] → (q  r)
Bài tập 2
Cho p, q, r là các biến mệnh đề.
➢ Hãy chứng minh:
(p→r)(q→r)  (p →q) → r
• Chứng minh căn bậc hai của 2 là số vô tỷ.

ISLab- Intelligent Systems Laboratory

 Bài tập
Bài tập 3: Chứng minh mệnh đề logic
p→r
p→q
q →s
⎯⎯⎯
 r→s
Bài tập 4: Chứng minh:
pq
p→ (rq)
r→(st)
s
⎯⎯
t
ISLab- Intelligent Systems Laboratory
 Bài tập
Bài 5: Cho a, b, c là 3 đường thẳng phân biệt và a//c
và b//c, chứng minh a//b
p→q
Bài 6: Chứng minh suy diễn sau r  s
pr
⎯⎯⎯⎯
q →s

p
p→ r
Bài 7: Kiểm tra suy diễn sau: p →(q  r)
q  s
⎯⎯⎯⎯
s
ISLab- Intelligent Systems Laboratory
 Bài tập
Bài 8: Cho a,b,c,d và e là 5 thành viên trong một đội bóng.
Giả sử huấn luyện viên có các quy định như sau:
✓Nếu b không tham gia vào trận đấu thì a cũng không tham gia.
✓Nếu b tham gia vào trận đấu thì c cũng tham gia
✓Nếu c tham gia vào trận đấu thì d cũng tham gia
✓Nếu trong trận đấu sắp tới cả 2 cầu thủ d và e đều không
tham gia thì a có tham gia không? c có tham gia không?

ISLab- Intelligent Systems Laboratory