Es la manera como se afirma la verdad de un enunciado (ver texto). Por ejemplo, «es posible que mañana se inicien las conversaciones de paz» y «es necesario empezar mañana las conversaciones de paz», son dos enunciados con igual afirmación (respecto de la paz) pero con una modalidad diversa en la afirmación. «Posible» y «necesario» son términos modales que, en lógica modal, se denominan operadores modales, y suelen simbolizarse como «M» y «N» o, respectivamente,
Así, por ejemplo,si se antepone una N a un enunciado escrito en forma condicional,
queremos decir que «necesariamente si p, entonces q», o bien, en una posible interpretación, «necesariamente todo suceso tiene una causa». Los términos o indicadores que, en un enunciado, señalan lo que está «permitido» («P») o lo que es «obligatorio» («O») se denominan operadores deónticos y se usan en lógica deóntica. Así, por ejemplo, «es obligatorio cumplir con lo prometido» es un enunciado deóntico que puede escribirse como «Op».