Skip to main content

OP_FORBID

qualia_core_db::modalities::logic::deontic

Constant OP_FORBID 

Source 
pub const OP_FORBID: u8 = 0x12;
Expand description

F(φ) = O(¬φ) — the subject party must not perform the action.