Ngữ nghĩa của luận lý mệnh đề

III. Ngữ nghĩa của luận lý mệnh đề

Chương 2
ntsơn

Gán thực

[*] trị

•  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.

[*] Sept. 10, 2007 Copyright © Albert R. Meyer, 2007. All rights reserved. lec 2M.17 @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 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