NGÔN NGỮ TÂN TỪ 
www.Athena.Edu.Vn 1

1. 
2. Cú pháp
3. 
4. 
5. 
6. 
7. 
www.Athena.Edu.Vn 2


– Ví dụ
• 
• P(gt), gtX = {Nguyen Van A, Tran Thi B}
• x là người nữ
• 
• 
www.Athena.Edu.Vn 5

• Định nghĩa 2: Tân từ n ngôi
– 
1
, X
2

n
và n

1
, x
2

n

i

– 
i
X
i

1
, x
2

i

n
-1 ngôi
www.Athena.Edu.Vn 6

• Định nghĩa 3: Từ
– 
– 
1
, t
2

n

• Định nghĩa 4: Công thức
– 
1
, t
2

n
), t
i

– 

www.Athena.Edu.Vn 7

• Định nghĩa 4:
– đóng 

– mở 

• Ví dụ:
– C
1
:xty(P(x,y,a) z(Q(y,z,t)
,
– C
2
:x t (P(x,y,a) z(Q(y,z,t)
,
www.Athena.Edu.Vn 8

Gồm 4 phần:
• 

• 

• 
• 
n
www.Athena.Edu.Vn 9

• 
1

n
) R
• Các phép toán ,,, 
• 

i
M/F(a
i

M={a
1
,a
2

n
} F(a
i
), a
i
M
•  a
i
M/F(a
i

M={a
1
,a
2


2

 
www.Athena.Edu.Vn 12

4. công thức nguyên tố 
5. F
1
và F
2

1
F
2
, F
1
F
2
, F
1
F
2
,
F
1

6. sF, sF là công

7. 
www.Athena.Edu.Vn 13


• 1. Phép hội
– Q
1
,Q
2

– F
1
, F
2

1
, Q
2
– 
1
Q
2
– F
s
=F
1s
F
2s
• 2. Phép trừ
– Q
1
,Q
2

(y
1

n
)
– F
1
, F
2

1
, Q
2
– 
1
x Q
2
F
s
: s(x
1

m
, y
1

n
)
F
s

n
), F
1

1
– 
1
[x
i1
, x
i2

ik
]
F
s
=(v) (F
1v
 s
1
=v
i1
s
2
=v
i2

k
=v
ik

www.Athena.Edu.Vn 18





www.Athena.Edu.Vn 19

1. 
2. 
– Q(t
1
,t
2

n
): t
i

– t
i
 t
j
,t
i
 
i
 là phép toán
3. công thức nguyên tố 
4. F

1
,x
2

n
)}
• x
i

• Q= {(x
1
,x
2

n
) | F(x
1
,x
2

n
)} nên
(x
1
,x
2

n
)Q  F(x
1

• 1. Phép hội
– Q
1
,Q
2

– F
1
, F
2

1
, Q
2
– 
1
Q
2
– F=F
1
F
2
• 2. Phép trừ
– Q
1
,Q
2

– F
1

– F
1
, F
2

1
, Q
2
– 
1
x Q
2
F(x
1

m
, y
1

n
) =F
1
(x
1

m
)F
2
(y
1