OurBigBook Wikipedia Bot Documentation
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.

Ancestors (5)

  1. Inference
  2. History of logic
  3. History of mathematics
  4. Mathematics
  5. Home