Logical variable là gì?

2023-07-30 01:21:38 236 Lượt xem 28 Lượt thích

Noun None

Biến logic

Trong toán rời rạc (discrete mathematics), chúng ta sẽ sử dụng các chữ cái như p, q, r, s, ... hoặc A, B, C, D, ... để thể hiện các mệnh đề (proposition). Các chữ cái được gọi là biến logic (logical variable). Chúng ta kết hợp các mệnh đề đơn giản để tạo thành mệnh đề phức hợp (compound proposition) bằng cách sử dụng các phép nối (connective) như and or và not.