Bài giảng : Logic part 9

Slide 5.20: Ngữ nghĩa Định nghĩa: Cho Φ1,…,Φn là các công thức logic vị từ. Thì quan hệ thứ tự Φ1,…,Φn⊨Ψ thoả mãn nếu và chỉ nếu khi M ⊨lΦi với 1≤i≤n, thì M ⊨lΨ, với tất cả các mô hình M và môi trường l.