Logica Matemática
Definición:
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 las matemáticas, tiene estrechas conexiones con la 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 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.
Proporciones:
Una proposición o enunciado es una oración que puede ser falsa o verdadera pero no ambas a lavez. Toda proposición consta de tres partes: un sujeto, un verbo y un complemento referido al verbo. La proposición es un elemento fundamental de la Lógica Matemática.
En general, las proposicionespueden ser:
* Simples si sólo tienen un sujeto, un verbo y un complemento. En caso contrario, son proposiciones compuestas
* Cerradas si tienen determinado el sujeto.
* Abiertas sino lo tienen determinado.
* Afirmativas o negativas según lo afirmen o nieguen.
Verdaderas o falsas según correspondan o no a la realidad.
Operaciones:
Operaciones básicas
Denotaremosla proposiciones simples como p, q, r, etc. y definiremos 4 operaciones básicas, correspondientes a la negación "no", la conjunción "y", la disyunción "o" y la implicación ("") .
La negación Dadauna proposición p, su negación no(p) es aquella proposición que es falsa cuando p es verdadera y, es verdadera cuando p es falsa.
La conjunción Dadas las proposiciones p, q. La conjunción p y q esaquella proposición que sólo es verdadera, cuando ambas son verdaderas. En cualquier otro caso es falsa.
La disyunción Dadas las proposiciones p, q. La disyunción p o q es aquella proposición que...
Regístrate para leer el documento completo.