14 relaciones: Aristóteles, Conectiva lógica, Cuantificador existencial, Cuantificador universal, Estructura de Kripke, ITL, Lógica de primer orden, Lógica modal, Lógica temporal lineal, Litas lituana, MIT Press, Operación binaria, Operación unaria, Operador.
Aristóteles
Aristóteles (en griego antiguo: Ἀριστοτέλης; en griego moderno: Αριστοτέλης; en latín: Aristoteles; Estagira, 384 a. C.-Calcis, 322 a. C.) fue un filósofo, polímata y científico griego nacido en la ciudad de Estagira, al norte de la Antigua Grecia.
¡Nuevo!!: Lógica temporal y Aristóteles · Ver más »
Conectiva lógica
En lógica, una conectiva lógica, o también conectiva (también llamado operador lógico o conectores lógicos) es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
¡Nuevo!!: Lógica temporal y Conectiva lógica · Ver más »
Cuantificador existencial
En el lenguaje de predicados en lógica matemática, se usa el símbolo: \exists, llamado cuantificador existencial, antepuesto a una variable para decir que "existe al menos" un elemento del conjunto, B, al que hace referencia la variable, que cumple la proposición escrita a continuación.
¡Nuevo!!: Lógica temporal y Cuantificador existencial · Ver más »
Cuantificador universal
En lógica, se usa el símbolo \forall, denominado cuantificador universal, antepuesto a una variable para decir que "para todo" elemento de un cierto conjunto se cumple la proposición dada a continuación.
¡Nuevo!!: Lógica temporal y Cuantificador universal · Ver más »
Estructura de Kripke
Una estructura de Kripke es una variación del sistema de transición, originalmente propuesta por Saul Kripke, usada en Verificación de modelos.
¡Nuevo!!: Lógica temporal y Estructura de Kripke · Ver más »
ITL
ITL puede referirse a.
¡Nuevo!!: Lógica temporal e ITL · Ver más »
Lógica de primer orden
Una lógica de primer orden, también llamada lógica predicativa, lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
¡Nuevo!!: Lógica temporal y Lógica de primer orden · Ver más »
Lógica modal
Una lógica modal es un sistema formal que intenta capturar el comportamiento deductivo de algún grupo de operadores modales.
¡Nuevo!!: Lógica temporal y Lógica modal · Ver más »
Lógica temporal lineal
En lógica, la lógica temporal lineal o la lógica temporal de tiempo lineal (LTL) es una lógica temporal modal con modalidades que se refieren al tiempo.
¡Nuevo!!: Lógica temporal y Lógica temporal lineal · Ver más »
Litas lituana
La litas lituana (ISO 4217: LTL, en lituano plural litai o litų) fue la moneda oficial de Lituania desde el 25 de junio de 1993 hasta El 31 de diciembre de 2014, cuando fue definitivamente substituida por el euro.
¡Nuevo!!: Lógica temporal y Litas lituana · Ver más »
MIT Press
MIT Press es una editorial universitaria afiliada a Instituto Tecnológico de Massachusetts (MIT).
¡Nuevo!!: Lógica temporal y MIT Press · Ver más »
Operación binaria
Se define como operación binaria (o ley de composición) aquella operación matemática, que necesita el operador y dos operandos (argumentos) para que se calcule un valor.
¡Nuevo!!: Lógica temporal y Operación binaria · Ver más »
Operación unaria
Se define como operación unaria aquella operación matemática que sólo necesita el operador y un único operando (argumento) para que se pueda calcular un valor.
¡Nuevo!!: Lógica temporal y Operación unaria · Ver más »
Operador
En matemáticas, lógica y física el término operador puede ser usado con diversas acepciones.
¡Nuevo!!: Lógica temporal y Operador · Ver más »