Assertion: logical consequence | /r/HasProperty | formal
Facets:
value: with examples
type: OTHER
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: Tarski observes that logical consequence is a formal consequence relation.
text: Logical consequence is taken to be both necessary and formal with examples explicated using models and proofs.