intTypePromotion=1
zunia.vn Tuyển sinh 2024 dành cho Gen-Z zunia.vn zunia.vn
ADSENSE

Qui Tắc Suy Diễn 3

Chia sẻ: Thi Sms | Ngày: | Loại File: PDF | Số trang:6

85
lượt xem
1
download
 
  Download Vui lòng tải xuống để xem tài liệu đầy đủ

Tham khảo tài liệu 'qui tắc suy diễn 3', tài chính - ngân hàng, kế toán - kiểm toán phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả

Chủ đề:
Lưu

Nội dung Text: Qui Tắc Suy Diễn 3

  1. Qui Tắc Suy Diễn Qui Tắc Suy Diễn CHỨNG MINH THEO TRƯỜNG HỢP  Dựa trên hằng đúng:  p  r    q  r     p  q   r     Ý nghĩa: nếu từ p và q có thể suy ra r thì từ  dạng p hay q cũng có thể suy ra r.
  2. VÍ DỤ  n 3  4n   3 http://kinhhoa.violet.vn  Aristotle (ca. 384-322 B.C.)
  3. Một số luật thêm p Rule of Addition(Phép  thêm)  pq Phép đơn giản nối liền  pq  p Luật về phép nối p  q  pq Aristotle (ca. 384-322 B.C.)
  4. VÍ DỤ TỔNG HỢP Nếu nghệ sĩ Trương Ba p:Nghệ sĩ Trương Ba trình diễn.  1. không trình diễn hay số q:số vé bán ra ít hơn 100.  vé bán ra ít hơn 100 thì r:đêm diễn bị hủy bỏ.  đêm diễn sẽ bi hủy bỏ s: ông bầu buồn.  và ông bầu sẽ rất buồn. t:trả lại vé cho người xem  Nếu đêm diễn bị hủy bỏ 2. thì vé phải trả lại cho p  q  r  s người xem. r t Nhưng vé đã không trả 3. lại cho người xem. t Vậy có kết luân gì? p
  5. Qui Tắc Suy Diễn PHẢN VÍ DỤ  Để chứng minh một phép suy luận là sai hay p1  p2  ...  pn  q không là một hằng đúng. Ta chỉ cần chỉ ra một phản ví dụ.
  6. VÍ DỤ Ông Minh nói rằng nếu p:ông Minh được tăng   không được tăng lương thì lương. ông ta sẽ nghỉ việc. Mặt q: ông Minh nghỉ việc.  khác, nếu ông ấy nghỉ việc r:vợ ông Minh mất việc.  và vợ ông ấy bị mất việc thì s:gia đình phải bán xe.  phải bán xe.Biết rằng nếu vợ ông Minh hay đi làm trễ t:vợ ông hay đi làm trể.  thì trước sau gì cũng sẽ bị p  q s=0 mất việc và cuối cùng ông Minh đã được tăng lương. t=1 qr s p=1 Suy ra nếu ông Minh không  bán xe thì vợ ông ta đã tr q=0 không đi làm trễ r=1 p s  t
ADSENSE

CÓ THỂ BẠN MUỐN DOWNLOAD

 

Đồng bộ tài khoản
2=>2