Assertion: logical consequence | /r/HasProperty | taken
Facets:
Source sentences:
text: Logical consequence is taken to be both necessary and formal with examples explicated using models and proofs.