Entailment

1. Redirect Logical consequence

{{R from alternative name}}