... được xác định đệ quy như sau: - Các công thức phân tử là công thức - Nếu G và H là các công thức thì các biểu thức (G∧H), (G∨H), (¬G), (G⇒H), (G⇔H) là công thức - Nếu G là một công thức và X ... Q(a,g(X,U))P(f(X)) ∨ ¬ R(X,h(X,U)) (5) g. Đặt tên lại các biếnĐặt tên lại các biến sao cho các biến trong các câu khác nhau có tên khác nhau, chẳng hạn hai câu (5) có hai biến cùng tên là X, ta ... cần đổi tên biến X trong câu hai thành Z, khi đó các câu (5) tương đương với các câu sau:P(f(X)) ∨ Q(a,g(X,U))P(f(Z)) ∨ ¬ R(Z,h(Z,U)) (5 )Như vậy, khi tri thức là một tập hợp nào đó các công...