logical entailment

1 article