Assertion: reasoning's inference | /r/HasProperty | sound inferences
Facets:
Source sentences:
text: The classic definition is supplied by traditional formal logic, where the only sanctioned inferences are sound inferences (i.e., those encompassed by logical entailment, in which every model for the axiom set is also a model for the conclusion).