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

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.