TOÁN RỜI RẠC (Discrete Mathematics)

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