Bài 5:  Nếu được thưởng cuối năm, An sẽ đi Đà Lạt. Nếu đi Đà Lạt thì An sẽ thăm Thiền Viện. Mà An không thăm Thiền Viện. Vậy An không được thưởng cuối năm. Suy luận trên có đúng không? Quy tắc suy diễn nào được áp dụng?

Lời giải:

Đặt:      X1 là mệnh đề: “An được thưởng cuối năm”;

            X2 là mệnh đề: “An đi Đà Lạt”;

X3 là mệnh đề: “An thăm Thiền Viện”.

Đoạn văn trên tương đương với mô hình suy diễn dưới đây:

                        X1  ->X2

                                X2  ->X3

                                      X3/'.'x1                (*)

Ta chỉ ra mô hình suy diễn (*) là đúng. Thật vậy

                        X1 ->X2

                <con thieu>

Vậy suy luận trên là đúng. Quy tắc phủ định được áp dụng.