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, .),