Assertion: classical logic | /r/CapableOf | prohibit primitive function symbols
Facets:
Source sentences:
text: Hence classical logic prohibits primitive function symbols whose extensions are partial functions—functions whose value is for some arguments undefined.