|Formulation Text=A theory is said to be a logical presupposition of a question, ''iff'' the theory is logically entailed by any possible direct answer to the question.
|Formulation Text=A theory is said to be a logical presupposition of a question, ''iff'' the theory is logically entailed by any direct answer to the question.