Rigorous Reasoning

Concept · Deductive

Entailment

A relation in which the premises, taken together, guarantee the conclusion.

Why it matters

Entailment explains why a valid deduction gives necessity rather than probability.

Where this shows up

Units and lessons using this concept

Following the links will take you to the page where this term is introduced in context.

Related

Other concepts in Deductive

CounterexampleProofSoundnessSubproof