Um operador (ou seja, algo que se adicionado a uma ou mais proposições faz uma proposição (molecular)) é não-verdade-funcional se e somente se o valor de verdade de uma proposição em que aparece não é inteiramente determinado pelo valor de verdade das proposições de subsidiária em que opera. E. g. a verdade valor "É necessário que existem nove planetas" e não "Acredita-se que existem nove planetas" é determinado pelo valor de verdade de "Existem nove planetas. ", Portanto, os operadores"acredita-se que"são operadores não-verdade-funcional. Ver verdade-funcional.