Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica modal ((También, para evitar el exceso de paréntesis, usamos la…
Lógica modal
Definiciones
Partes integrantes son las modalidades –“es necesario”, “es posible”, “es real”, “es casual”– y sus negaciones
Se dio un nuevo impulso a las investigaciones de la lógica modal gracias al desarrollo de la lógica matemática.
Sistema lógico que formaliza relaciones como las de “necesidad”, “realidad”, “posibilidad”, “casualidad” y sus negaciones
-
-
También, para evitar el exceso de paréntesis, usamos la siguiente convención de precedencia de los operadores (de mayor precedencia a menor):
-
-
-
-
-