Assertion: logical consequence | /r/CapableOf | describe the relationship
Facets:
value: between statements
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.