... công thức Quy tắc lượng giá công thức Ngôn ngữ tân từ có biến n Ngơn ngữ tân từ có biến miền giá trị Khoa HTTT - Đại học Giới thiệu Ngôn ngữ tân từ ngơn ngữ truy vấn hình thức Codd đề nghị (1972-1973) ... (∨) Các lượng từ: với (∀), tồn (∃) Khoa HTTT - Đại học Các định nghĩa (1) Định nghĩa 1: Tân từ Tân từ định nghĩa tập X biến x có giá trị chạy phần tử X Với giá trị x, tân từ P(x) mệnh ... định nghĩa (2) Định nghĩa 2: Tân từ n Tân từ n định nghĩa tập X1, X2, …, Xn n biến x1, x2, …, xn lấy giá trị tập Xi tương ứng Với giá trị ai∈Xi, xi=ai .Tân từ n mệnh đề Ký hiệu: P(x1, x2,...