III Ngữ nghĩa luận lý mệnh đề Chương ntsơn Thí dụ Một nhóm thành viên : An, Bảo, Chi, Dũng Trong nhóm có quan hệ người thích khơng thích người  Bảo  An  Chi  Dũng @Nguyễn Thanh Sơn ntsơn Thí dụ Thông tin từ người cung cấp tin : Dũng thích Chi An khơng thích Dũng Dũng khơng thích An Bảo thích Chi Dũng An thích người mà Bảo thích Chi thích người thích Chi Khơng thích Hỏi : Bảo có thích Chi khơng ? @Nguyễn Thanh Sơn ntsơn Thí dụ Phân tích thơng tin : Ký hiệu :  thích,  khơng thích Dũng thích Chi Dũng  Chi An khơng thích Dũng Dũng khơng thích An Bảo thích Chi Dũng An  Dũng Dũng  An 4.(Bảo  Chi)  (Bảo  Dũng) @Nguyễn Thanh Sơn ntsơn Thí dụ Có nhiều “thực tế” giới người An Bảo Chi Dũng Dũng An Bảo Chi An Bảo Chi Dũng An Bảo Chi Dũng Dũng An Bảo Chi An Bảo Dũng An xChi x An x An x An An xx An x Bảo x Bảo xx Bảo x Bảo Bảo xx Bảo Chi x xx Chi x x xx Chi x x x Chi Chi xx xx xx Chi Dũng x x xx Dũng x Dũng x Dũng Dũng xx Dũng x @Nguyễn Thanh Sơn ntsơn Thí dụ Bốn thực tế sau thỏa mãn thông tin người cung cấp tin An Bảo Chi Dũng An An x An Bảo x Bảo Chi x x Dũng x x An Bảo Chi Chi Dũng An Bảo x Bảo Dũng @Nguyễn Thanh Sơn x x x x x x Chi Dũng Dũng x x x x x An x x Chi Dũng An Chi Bảo Bảo Chi x x Dũng x x x x x x ntsơn Thí dụ Những phát biểu : “Dũng thích Chi” “Bảo thích Chi” “Bảo khơng thích Dũng” “Mọi người thích người khác” “Mọi người người khác thích” khơng có hệ thống logic Nhưng thỏa mãn tất thực tế mà hệ thống logic thỏa @Nguyễn Thanh Sơn ntsơn Diễn dịch • Diễn dịch công thức giới thực với cách nhúng yếu tố công thức vào giới thực • Nói cách khác diễn dịch “gán” cho công thức ý nghĩa giới thực mà công thức nhúng vào • Gán thực trị gán giá trị T (đúng) F (sai) cho biến mệnh đề • Việc gán giá trị cho biến môi trường @Nguyễn Thanh Sơn ntsơn Diễn dịch • Có tác giả định nghĩa diễn dịch cách đánh giá công thức đặc trưng hàm đánh giá • Một số tài liệu định nghĩa khái niệm diễn dịch lớp cơng thức thay cơng thức @Nguyễn Thanh Sơn ntsơn Gán thực trị Thí dụ : công thức P  (Q  R) Môi trường  gán biến P, Q, R : (P) = T, (Q)= T, (R) = F Môi trường  gán biến P, Q, R : (P) = F, (Q)= T, (R) = F @Nguyễn Thanh Sơn ntsơn