De todito

Lógica matemática
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de lasmatemáticas. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el quecodifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de lademostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. Actualmente se usanindiferentemente como sinónimos las expresiones: lógica simbólica( o logística), lógica matemática, lógica teorética y lógica formal.
La lógica matemática no es la «lógica de las matemáticas» sino la«matemática de la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.
-------------------------------------------------
Conectiva lógica
En lógica,una conectiva lógica, o simplemente conectiva, es un símbolo que se utiliza para conectar dos fórmulas, de modo que el valor de verdad de la fórmula compuesta dependa del valor de verdad de lasfórmulas componentes.
En programación se utilizan para combinar valores de verdad y obtener nuevos valores que determinen el flujo de control de un algoritmo o programa.
Las conectivas lógicas son, juntocon los cuantificadores, las principales constantes lógicas de muchos sistemas lógicos, principalmente la lógica proposicional y la lógica de predicados.
Conectiva | Notación | Ejemplo
de uso |Análogo
natural | Ejemplo de uso en
el lenguaje natural | Tabla de verdad |
Negación | | | no | No está lloviendo. | |
Conjunción | | | y | Está lloviendo y es de noche. | |
Disyunción |...