Se obtiene la lógica proposicional modal de la lógica proposicional ordinaria agregando un operador de caja; es decir, si\(A\) es una fórmula, así es\(\Box A\). Intuitivamente,\(\Box A\) afirma que\(A...Se obtiene la lógica proposicional modal de la lógica proposicional ordinaria agregando un operador de caja; es decir, si\(A\) es una fórmula, así es\(\Box A\). Intuitivamente,\(\Box A\) afirma que\(A\) es necesariamente cierto, o cierto en cualquier mundo posible.
