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: