... đại học Thái Nguyêntrờng đại học s phạmkhoa toántrần thị thu lanCơ 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ôngChuyên ... gọi là các biến vị từ. 1.2.1 .Các công thức của logic vị từ đợc định nghĩa nh sau.(i) Các biến mệnh đề, các hằng là những công thức.(ii) Nếu f là một biến vị từ n ngôi và x1, ,xn là các biến đối ... mệnh đề.x1 f(x1,a2,...,an) =10 Biến x1 gọi là biến rằng buộc, các biến còn lại gọi là biến tự do.* Cho 1i n ,xi f(x1,x2,...,xn) là một vị từ n 1 ngôi trên M của các biến x1, x2,..., xi-1, xi+1,...,...