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