Định nghĩa vị từ (Prédicat) Một vị từ là một khẳng định P(x,y,.) trong đó có chứa một số biến x,y,. lấy giá trị trong những tập họp A,B,. cho trước, sao cho : - Bản thân P(x,y,.) không phải là mệnh đề. - Nếu thay x, y ,. bằng những giá trị cụ thể thuộc tập họp A, B,. cho trước ta sẽ được một mệnh đề P(x, y, .), nghĩa là khi đó chân trị của P(x, y,.) hoàn toàn xác định. Các biến x, y,. được gọi là các biến tự do của vị từ. .