Ex9 page 99 MAD:

a) Bởi vì trời nắng vào thứ Ba, chúng tôi giả định rằng trời không mưa hoặc tuyết vào thứ Ba (nếu
không, chúng tôi không thể làm gì với sự cố này). Nếu chúng tôi sử dụng modus tollens trên
phần khởi tạo phổ biến của câu lệnh điều kiện đã cho áp dụng cho Thứ Ba, thì chúng tôi kết luận
rằng tôi đã không nghỉ Thứ Ba. Nếu bây giờ áp dụng disjunctive syllogismcho thấy rằng tôi đã
nghỉ thứ Năm. Bây giờ, sử dụng modus ponens trên cách khởi tạo phổ biến của câu lệnh điều
kiện đã cho áp dụng cho Thứ Năm; kết luận rằng trời mưa hoặc tuyết vào thứ Năm.
b) Sử dụng modus tollens, kết luận hai điều - rằng tôi không ăn đồ cay và nó không có sấm sét. Do
đó, bằng quy tắc suy luận kết hợp (Bảng 1), chúng tôi kết luận "Tôi không ăn đồ cay và trời
không sấm sét."
c) Bằng cách sử dụng disjunctive syllogism từ hai giả thuyết đầu tiên, chúng tôi kết luận rằng tôi
thông minh. Giả thuyết thứ ba không cung cấp cho chúng ta thông tin hữu ích.
d) Chúng ta có thể áp dụng cách lập luận phổ quát cho câu lệnh điều kiện và kết luận rằng nếu
Ralph (tương ứng, Ann) là một sinh viên chuyên ngành CS, thì anh ấy (cô ấy) có một chiếc PC.
Bây giờ modus tollens cho biết rằng Ralph không phải là thiếu tá CS. Không có kết luận nào được
rút ra về Ann.
e) Hai câu điều kiện đầu tiên có thể được diễn giải là "Nếu x tốt cho các công ty, thì x tốt cho Hoa
Kỳ" và "Nếu x tốt cho Hoa Kỳ, thì x tốt cho bạn." Nếu bây giờ chúng ta áp dụng tính năng thuyết
minh phổ quá với x là "để bạn mua nhiều thứ", thì chúng ta có thể kết luận rằng việc sử dụng
modus ponens gấp đôi rằng việc bạn mua nhiều thứ là tốt cho Hoa Kỳ và tốt cho bạn.
f) Câu lệnh điều kiện đã cho là "Với mọi x, nếu x là động vật gặm nhấm, thì x sẽ gặm nhấm thức ăn
của nó." Chúng ta có thể hình thành biểu tượng chung của điều này với x là chuột, thỏ và dơi.
Sau đó, modus ponens cho phép chúng ta kết luận rằng chuột gặm thức ăn của chúng; và modus
tollens cho phép chúng ta kết luận rằng thỏ không phải là loài gặm nhấm. Không thể kết luận gì
về loài dơi.

Ex23:
Lỗi xảy ra trong bước (5), bởi vì chúng ta không thể giả định rằng, như đang được thực hiện ở
đây, rằng c làm cho P đúng cũng giống như c làm cho Q đúng.