Пресупозиція

поняття логіки, лінгвістики, семантики на позначення необхідного семантичного компоненту, що обумовлює істинність та осмисленість судження