Qui Tắc Suy Diễn 2

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

Thêm vào BST

Báo xấu

120
lượt xem 5
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 2', 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ủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

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

Qui Tắc Suy Diễn Qui Tắc Suy Diễn QUI TẮC MODUS TOLLENS  PHƯƠNG PHÁP PHỦ ĐỊNH Qui tắc này được thể hiện bằng hằng đúng:   p  q   q   p   Hoặc dưới dạng sơ đồ pq q p Aristotle (ca. 384-322 B.C.)
Xét chứng minh Ta suy luận   pr pr rs rs st t  s t u t  u u u p p Aristotle (ca. 384-322 B.C.)
Qui Tắc Suy Diễn QUI TẮC TAM ĐOẠN LUẬN RỜI  Qui tắc này được thể hiện bằng hằng đúng:  p  q    q   p   p  q   p   q     Ý nghĩa của qui tắc: nếu trong hai trường hợp có thể xảy ra, chúng ta biết có một trường hợp sai thì chắc chắn trường hợp còn lại sẽ đúng
Qui Tắc Suy Diễn QUI TẮC MÂU THUẪN  CHỨNG MINH BẰNG PHẢN CHỨNG Ta có tương đương logic  p1  p2  ...  pn   q    p1  p2  ...  pn  q   0      Ta cần chứng minh vế trái cũng là một hằng  đúng hay nói cách khác chứng minh khi thêm phủ định của q vào các tiền đề ta được một mâu thuẫn.
V Í DỤ Hãy chứng minh: Cm bằng phản chứng.   pr pr p  q p  q q qs s r  s 0 Aristotle (ca. 384-322 B.C.)
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.