Assertion: propositional logic | /r/HasProperty | obligatory
Facets:
Source sentences:
text: Deontic logics introduce the primitive symbol \(O\) for ‘it is obligatory that’, from which symbols \(P\) for ‘