Пресуппозиция — высказывание, истинность которого является предпосылкой истинности или ложности другого высказывания. Например, два высказывания «Кеплер умер в нищете» и «Кеплер умер не в нищете» имеют одну и ту же пресуппозицию, что Кеплер существовал.
[Толковый словарь по искусственному интеллекту / Авторы-составители А.Н. Аверкин, М.Г. Гаазе-Рапопорт, Д.А. Поспелов. М.: Радио и связь, 1992. — 256 с.]