Chương 3. Luận lý vị từ

Chương 3. Luận lý vị từ

ntsơn

Nội dung
I. Cấu trúc của luận lý vị từ II. Suy luận tự nhiên trong luận lý vị từ III.
•  Tam đoạn luận Nếu là người thì phải chết. (P) Socrates là người. (Q) Vậy Socrates phải chết. (R) •  Biểu diễn bằng LLMĐ không giữ được mối quan hệ ((P ∧ Q) → R) của 3 phát biểu trên.   Thêm khái niệm quan hệ để duy trì được sự liên kết.

Chương 3
ntsơn

Biểu diễn bằng quan hệ
•  Chọn các quan hệ từ các mệnh đề P, Q, R : * qhệ người(x) (ie, x là người). * qhệ chết(x) (ie, x chết). •  Khi đó các mệnh đề P, Q, R trở thành : P = nếu người(x) thì chết(x). Q = người(Socrates). R = chết(Socrates). {người(x) → chết(x),