 The presupposition of (15) is \(p\), and this agrees with the usual concept of presupposition for questions, since if \(p\) is not the case then (15) has no correct answer. A general rule is a (true or false) law-like statement of the form: