Assertion: logical consequence | /r/HasProperty | fundamental concept
Facets:
value: in logic
type: OTHER
Source sentences:
text: Logical consequence (also entailment) is a fundamental concept in logic, which describes the relationship between statements that hold true when one statement logically follows from one or more statements.