[...]...Slide 4. 8: Các Term Các term được xác định như sau:  Mọi biến là term  Mọi hằng trong C là term  Nếu t1, t2,…,tn là các term và f∈F là một hàm n ngôi, thì f(t1,t2, ,tn) là một term  Không gì nữa là một term Trong dạng biểu diễn Backus-Naur ta có thể viết: t :: = x|c|f(t,t,…t) với x là biến, c∈C, f∈F là hàm n ngôi 76 Slide 4. 9: Cây cú pháp: 77 Trang 4.1 0: Những công thức: Những công thức... với x là biến, c∈C, f∈F là hàm n ngôi 76 Slide 4. 9: Cây cú pháp: 77 Trang 4.1 0: Những công thức: Những công thức trên (F,P) được xác định một cách quy nạp bằng việc sử dụng tập các term trên F như sau:  Nếu P là một vị từ trong P với n ngôi (n≥1) và t1, t2,…, tn là các term trên F, thì P( t1, t2,…, tn) là một công thức  Nếu Φ là một công thức, thì ( Φ) cũng vậy   Nếu Φ và Ψ là các công thức, thì