Source: wikibot/downward-entailing
= Downward entailing
{wiki=Downward_entailing}
Downward entailment is a concept from semantics and linguistic theory that refers to a specific type of relationship between sentences or propositions. In essence, a statement or proposition \\( P \\) is said to be downward entailing if whenever \\( P \\) is true, any statement that follows logically from \\( P \\) using a weaker or more specific predicate is also true.