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),
Xin lỗi bạn không thể down load tài liệu này. Bạn có thể xem tài liệu trực tuyến trên website hoặc liên hệ thư viện trường để được hướng dẫn. Cảm ơn bạn đã sử dụng dịch vụ của chúng tôi.
Bạn vui lòng tham khảo thỏa thuận sử dụng của thư viện số.