... G), (G⇒H), (G⇔H) là công thức. Nếu G là một công thức và x là biến thì các biểu thức ( ∀ x G), (∃ x G) là công thức. Các công thức không phải là công thức phân tử sẽ được gọi ... trong công thức G được gọi là xuất hiện buộc. Một công thức mà tất cả các biến đều là xuất hiện buộc thì được gọi là công thức đóng. Ví dụ: Công thức ∀xP( x, f(a, x)) ∧ ∃y Q(y) là công thức ... liệu học tập và ôn thi miễn phí tại: www.kapakapy.com Các công thức đượ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...