Programa de Matemáticas
Línea de Investigación: Matemáticas Puras
Por: Luz Amparo Carranza Guerrero
Dicho semánticamente, el método permite comprobar la validez o invalidez de una fórmula en la clase de modelos de la lógica. La lógica modal es una extensión de la lógica clásica en la que se han introducido operadores modales, como la necesidad y la posibilidad.
En 1912, C.I. Lewis define un nuevo condicional al que llama implicación estricta; este se define en términos del condicional material y la noción de necesidad. Las combinaciones de los axiomas planteados por Lewis proporcionaron diferentes lógicas normales; entre las más conocidas están K, T, B, S4, S5. Presentaremos lógicas no normales, S1, S2 y S3 y algunas extensiones suyas S6, S7 S8 y S9. Estas lógicas poseen la característica común de carecer de la regla de necesidad.