Bài giảng về môn TOÁN RỜI RẠC

Vị từ là một khẳng định có dạng p(x,y,z,…) trong đó x, y, z,… là các biến lấy giá trị trong các tập hợp A, B, C,… cho trước sao cho: p(x,y,z,…) không phải là mệnh đề Nếu thay x,y,z,… bởi các phần tử cố định nhưng tuỳ ý a A, bB, c C,… ta được mệnh đề p(a,b,c,…). x, y, z,… gọi là các biến tự do