Explore relationships

Logical consequence

Logical consequence (also entailment or logical implication) 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.

Use + to expand a branch. Click a topic name to open its summary.