Skip to main content

OP_GRATUITOUS

qualia_core_db::modalities::logic::deontic

Constant OP_GRATUITOUS 

Source 
pub const OP_GRATUITOUS: u8 = 0x14;
Expand description

G(φ) — gratuitousness: ¬O(φ). The agent is free to omit φ (it may still be permitted or forbidden). May be asserted or derived (see is_gratuitous).