Nghĩa chính
- Mệnh đề logic không thể được rút ra từ các mệnh đề logic khác bằng phép toán Booleandanh từA logical proposition that cannot be derived from other logical propositions by a Boolean operation.
Dạng từ (word form)
theo quy tắc (regular)- Boolean atomDạng gốc (base form)
- Boolean atomsSố nhiều (plural)
Ví dụ
- , , Sⱼ πB , .
- .