Logic Vị từ and Horm Trí tuệ nhân tạo

Mệnh đề

Nếu trời mưa Lan mang theo dù
Nếu Lam mang theo dù thì Lan không bị ướt
Nếu trời không mưa thì Lan không ướt

C/m rằng Lan không bị ướt

Logic vị từ:

1. Trời mưa͢͢͢͢͢ → Mang dù (Lan)
2. Mang dù (Lan) → Không ướt (Lan)
3. Trời không mưa → Không ướt (Lan)

Mệnh đề Horm :

1. ךּ Trời mưa ٧ Mang dù (Lan)
2. ךּ Mang dù (Lan) ٧ Không ướt (Lan)
3. ךּ(ךּ Trời mưa͢͢͢͢͢) ٧ Không ướt (Lan)

Giả sử Lan bi ướt : ךּ Không ướt (Lan)

1. ךּ Trời mưa ٧ Mang dù (Lan)
2. ךּ Mang dù (Lan) ٧ Không ướt (Lan)
3. Trời mưa͢͢͢͢͢٧ Không ướt (Lan)
4. ךּ Không ướt (Lan)

Tuyển (1)&(3) : Không ướt (Lan)٧ Mang dù (Lan) (5)
Tuyển (5)&(2) : Không ướt (Lan) (6)
(6) và (4) đối ngẫu nên ĐCCM

kiếm bài khác làm đi ku. sẵn tiện nêu quy tắc chuyển đổi vị từ wa horm luôn đi.

...................................................................................