Por ejemplo, en el juicio «es necesario que 2 + 2 = 4», la expresión «es necesario que» es un operador modal que califica de "necesaria" a la verdad del juicio «2 + 2 = 4».