• Môi trường (Environments) Gán thực trị là gán giá trị T (đúng) hoặc F (sai) cho mỗi biến mệnh đề. Những nhà khoa học máy tính gọi việc gán giá trị cho các biến là một môi trường.
Gán thực trị
Thí dụ : công thức P → (Q ∨ R) Môi trường ν gán các biến P, Q, R : ν(P) = T, ν(Q)= T, ν(R) = F. Môi trường µ gán các biến P, Q, R : µ(P) = F, µ(Q)= T, µ(R) = F.
@Nguyễn Thanh Sơn
ntsơn
Diễn dịch
• Diễn dịch của một công thức là thế giới thực cùng với cách nhúng từng yếu tố của công thức vào thế giới thực đó. • Nói cách khác diễn dịch là “gán” cho công thức một ý nghĩa của thế giới thực mà công thức
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ố.