CẤU TRÚC RỜI RẠC

Phép tuyển (nối rời, hợp): của hai mệnh đề P, Q được kí hiệu bởi P  Q (đọc là “P hay Q”), là mệnh đề xác định bởi: P  Q sai khi và chỉ khi P và Q đồng thời sai.
Phép kéo theo: Mệnh đề P kéo theo Q của hai mệnh đề P và Q, kí hiệu bởi P  Q (đọc là “P kéo theo Q” hay “Nếu P thì Q” hay “P là điều kiện đủ của Q” hay “Q là điều kiện cần của P”) là mệnh đề xác định bởi: P  Q sai khi và chỉ khi P đúng mà Q sai

Từ khóa: cấu trúc rời rạc, Toán cao Cấp, Giáo Trính toán học, phương pháp chứng minh logic, thuật toán euclid, nguyên lý phép đếm, đại số boole, mã tuyến tính