Top Banner
Qui Tc Suy Din Qui Tc Suy Din CHNG MINH THEO TRƯỜNG HP Da trên hng đúng: Ý nghĩa: nếu tp và q có thsuy ra r thì tdng p hay q cũng có thsuy ra r. p r q r p q r
6

Qui Tắc Suy Diễn - TaiLieu.VN

Mar 19, 2023

Download

Documents

Khang Minh
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Qui Tắc Suy Diễn - TaiLieu.VN

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:

Ý 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.

p r q r p q r

Page 2: Qui Tắc Suy Diễn - TaiLieu.VN

VÍ DỤ

http://kinhhoa.violet.vn

3 4 3n n

Aristotle(ca. 384-322 B.C.)

Page 3: Qui Tắc Suy Diễn - TaiLieu.VN

Một số luật thêm

p Rule of Addition(Phép thêm) pq

pq Phép đơn giản nối liền p p Luật về phép nối

q pq

Aristotle(ca. 384-322 B.C.)

Page 4: Qui Tắc Suy Diễn - TaiLieu.VN

VÍ DỤTỔNG HỢP

1. Nếu nghệ sĩTrương Ba không trình diễn hay sốvé bán ra ít hơn 100 thì đêm diễn sẽ bi hủy bỏvà ông bầu sẽ rất buồn.

2. Nếu đêm diễn bị hủy bỏthì vé phải trả lại cho người xem.

3. Nhưng vé đã không trảlại cho người xem.

Vậy có kết luân gì?

p:Nghệ sĩTrương Ba trình diễn. q:số vé bán ra ít hơn 100. r:đêm diễn bị hủy bỏ. s: ông bầu buồn. t:trả lại vé cho người xem

p q r sr t

tp

Page 5: Qui Tắc Suy Diễn - TaiLieu.VN

Qui Tắc Suy Diễn

PHẢN VÍ DỤĐể chứng minh một phép suy luận là sai hay

không là một hằng đúng. Ta chỉ cần chỉ ra một phản ví dụ.

1 2 ... np p p q

Page 6: Qui Tắc Suy Diễn - TaiLieu.VN

VÍ DỤ

Ông Minh nói rằng nếu không được tăng lương thì ông ta sẽ nghỉ việc. Mặt khác, nếu ông ấy nghỉ việc và vợ ông ấy bị mất việc thì phải bán xe.Biết rằng nếu vợ ông Minh hay đi làm trễthì trước sau gì cũng sẽ bịmất việc và cuối cùng ông Minh đã được tăng lương.

Suy ra nếu ông Minh không bán xe thì vợ ông ta đã không đi làm trễ

p:ông Minh được tăng lương.

q: ông Minh nghỉ việc. r:vợ ông Minh mất việc. s:gia đình phải bán xe. t:vợ ông hay đi làm trể.

p qq r st rp

s t

s=0t=1p=1q=0r=1