Computacion

Lógica temporal
Se dice que se utiliza para describir cualquier sistema de reglas y del simbolismo por representar, y razonar alrededor, los asuntos capacitados en términos de tiempo. A veces también se utiliza para referirse a la lógica tensa, un detalle lógica modal sistema basado de la lógica temporal introducido cerca Arturo anteriormente en los años 60.
La lógica temporal era profundizadaprimero cerca estudiado Aristóteles, escritas que se llenan de una forma cruda de lógica binaria modal temporal de primer orden. Cualquier lógica que utilice cuantificador existencial o cuantificador universal estima a la lógica de primer orden. Cualquier lógica de la cual las opiniones midan el tiempo como continuidad de una lógica temporal, y cualquier lógica que utilice solamente dos valores deverdad es lógica binaria.
Consideremos la declaración: “Tengo frio.” Aunque su significado es constante a tiempo, el valor de verdad de la declaración puede variar a tiempo. La declaración es a veces verdad, y la declaración es a veces falsa, pero la declaración nunca es verdad y falsa simultáneamente. En una lógica temporal, las declaraciones pueden tener un valor de verdad que pueda variar atiempo. Ponga en diferencia esto con una lógica atemporal, que puede tratar solamente las declaraciones que valor de verdad es constante a tiempo.
Ejemplo
En una lógica temporal podemos entonces expresar declaraciones como “mí somos siempre frio ", “ eventual tenga frio ", o “tendré frio hasta Yo como me cubra".
La lógica temporal ha encontrado un uso importante adentro verificación formal,donde se utiliza para indicar requisitos de los sistemas del hardware o de software. También posee siempre la capacidad de razonar alrededor de una línea del tiempo. Las lógicas lineares supuestas del tiempo se restringen a este tipo de razonamiento. Las relaciones temporales son primordiales para analizar los fenómenos físicos.
Lógica de orden mayor
Podemos decir que la lógica de orden mayor sedistingue a la de primer orden en que tiene variables relacionales de uno o varias disposiciones además de las individuales, y todas pueden medirse. Ya que fue Fregué el sucesor en el uso de las variables relacionales, esta lógica cuenta ya más de cien años, aunque una clara diferencia entre ella y la de primer orden se hizo esperar. De hecho, la lógica de primer orden es sólo un fragmento dellenguaje altamente preciso de Fregué y Russell. Durante mucho tiempo su estudio se limitaba al ámbito solamente realista. Actualmente recibe reconocimiento por su utilidad en aplicaciones y por su importancia en la fundamentación de la informática.
Mediante la lógica de orden mayor es posible pensar en relaciones y funciones al igual que cosas. Por ejemplo es posible afirmar que dos objetos son igualessi y sólo si todas las propiedades semejantes.

También es posible afirmar que dos funciones son iguales si y sólo si para todos los argumentos su valor es el mismo. Las lógicas de orden mayor tienen más capacidad expresiva que la lógica de primer orden; sin embargo no se sabe mucho acerca de como razonar adecuadamente mediante la lógica de orden mayor.
Sistema formal ó axiomático

Antes deexplicar los sistemas axiomáticos hay que definir lo que es un axioma. Un axioma es aquella proposición que la verdad es tan obvia que no se debe demostrar con una formula o demostración científica; por ejemplo, Dios existe y es bueno.

Un sistema axiomático es un conjunto de reglas que se utilizan para formar cadenas de caracteres a partir de una proposición dada, a las cadenas formadas se lellama fórmulas bien formadas, y el conjunto de todas las formulas bien formadas se le llama lenguaje formal, usado para la utilización de diferentes propósitos.
El objetivo de un sistema formal es señalas como válidas determinadas cadenas que se denominan teoremas, para obtener estos teoremas se utilizan reglas de producción que convierten una cadena en otra. Hay algunos teoremas iniciales que...