Luận văn Cơ sở logic toán của các phép chứng minh toán học cơ bản và áp dụng chứng minh các bài toán phổ thông
Vị từ n ngôi. Giả sử M , B ={0,1} *Vị từ n ngôi xác định trên M là ánh xạ f: Mn B sao cho a = (a1,a2,.,an)Mn f(a) có giá trị bằng 1 thì f(a) là mệnh đề đúng; f(a) có giá trị bằng 0 thì f(a) là mệnh đề sai. Kí hiệu: f(x1,x2,.,xn) Vị từ n ngôi xác định trên M cho ta một quan hệ n ngôi trên M. * Ví dụ: f(x1,x2,.,xn) = “, xiR” là một vị từ n ngôi trên R.