Nos estudos de semântica formal e pragmática, a distinção entre conteúdos implícitos é crucial para a interpretação textual. O tipo específico de inferência que está atrelado à própria estrutura lexical de certas palavras (como verbos factivos ou iterativos), cuja verdade é condição sine qua non para que a sentença tenha valor de verdade, mantendo-se inalterada mesmo sob a negação da sentença matriz, é tecnicamente definida como: