Bài giảng : Logic part 9 potx

[...]... Slide 5.1 9: Ví dụ Ví d : Giả s : F={alma} (alma là một hằng), P={loves} (loves là một vị từ 2 ngôi), và M là một mô hình xác định bởi: (1) tập A={a,b,c}; (2) alma giải nghĩa như là a; và (3) loves giải nghĩa như là ,(a,a),(b,a),(c,a)- Kiểm tra trường hợp: Không người yêu nào của người yêu Alma yêu cô ấy Giả sử công thức của ta là : Φ=∀x∀y(loves(x,alma)∧loves(y,x)→ loves(y,alma))  Trả lời đó là sai: M ⊨l[x→a,y→b]... một mô hình với (F,P) và t là một term trên F Thì ta miêu tả tM,l trong A được xác định theo quy tắc sau:  Nếu t là một biến x, thì tM,l là l(x);  Nếu t là một hằng f, thì tM,l là fM  Nếu t là f(t1,…,tn), thì tM,l= f M M (t1M ,l , , t n ,l ) 115 Slide 5.1 8: Giải nghĩa của công thức Định nghĩa: Cho M là một mô hình với (F,P), Φ là một công thức trên (F,P), và l là môi trường của các biến Quan hệ...Slide 5.1 7: Giải nghĩa của term Mỗi term được giải thích như một giá trị, với điều kiện ta cung cấp đầy đủ giá trị cho các biến Định nghĩa: một môi trường là một phép gán l làm những biến nào đó nhận một giá trị trong A Ta sử dụng định nghĩa l*x→a+ cho môi trường xảy ra với l, làm giá trị x nhận giá trị a Định nghĩa: Cho M là một mô hình với (F,P) và t là một term