Slide : 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. | Slide Trường hợp 1a- tương tự chứng minh mệnh đề 1 2 3 4 5 6 3 4 5 6 7 8 9 P1AP2 Tiền đề P1A P2 Giả sử P1 P1A P2 1 Giả sử Vi1 do 3 e do 4 2 P1 RAA do 3-5 P2 Giả sử P1A P2 Vi2 do 3 1 e do P2 RAA do 3 -5 P1AP2 Ai do 6 6 1 e do 7 1 P1A P2 RAA do 2-8 105 Slide Trường hơp la Trường hợp la VxCD- - 3xCD Chứng minh trái sang phải 1 Vx D Tiền đề 2 3x_ D Giả sử 3 Xo 4 P Xo x Giả sử 5 3x D Sxi do 4 6 e do 5 2 7 D x0 x RAA do 4-6 8 Vx D Vxi do 3-7 9 e do 8 1 RAA do 2 9 10 3x D 106 Slide Trường hợp 1a Trường hợp 1a VxO Ị- 3x 0 Chứng minh phải sang trái 1 Bx . 0 Tiền đề 2 Vx0 Giả sử 3 4 5 X0 0 xo x 1 O x0 x Giả sử Vxe do 2 e do 3 4 6 1 Bxe do 1 3-5 7 . Vx0 i do 2-6 .