Strawson entailment
In formal semantics, Strawson entailment is a variant of the concept of entailment which is insensitive to presupposition failures. Formally, a sentence P Strawson-entails a sentence Q iff Q is always true when P is true and Qs presuppositions are satisfied.