Assertion: logical consequence | /r/HasProperty | necessary
Facets:
value: by way of examples
type: MANNER
Source sentences:
text: Logical consequence is necessary and formal, by way of examples that explain with formal proof and models of interpretation.
text: This makes Kelly is mortal a logical consequence of it is necessary that Kelly is mortal.
text: Logical consequence is taken to be both necessary and formal with examples explicated using models and proofs.