w logice: wniosek wynikający jednocześnie z jakiegoś zdania i jego negacji, np. presupozycją zarówno zdania "Moim ulubionym aktorem jest Johnny Depp." jak i zdania "Moim ulubionym aktorem nie jest Johnny Depp." jest: "Mam ulubionego aktora."