Logica Matematica

-------------------------------------------------
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 laaplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la ciencias de la computación y la lógica filosófica.
La lógica matemática estudialos sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostracionesy computación.
La lógica matemática suele dividirse encuatro subcampos: teoría de modelos, teoría de la demostració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 delos fundamentos de las matemáticas. Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica( o logística), lógica matemática, lógica teorética y lógica formal.1
La lógicamatemá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.

Proposición Simple
Enmatemáticas, una proposición simple es un enunciado del cual se puede afirmar que es verdadero o que es falso pero no ambos a la vez.

Ejemplos: 
-La caja de madera. (caja=madera)
-Estálloviendo......... (tiempo=lloviendo)

Las proposiciones compuestas son aquellas que se forman por unión de proposiciones simples mediante los conectivos lógicos.

Ejemplo: La caja es de madera y está lloviendo(caja=madera) AND (tiempo=lloviendo)

Proposiciones Compuestas
Una proposición compuesta es aquella que se compone de dos o más proposiciones simples, las más importantes son las proposicionesconjuntivas, disyuntivas, condicionales y bicondicionales. Ej. "el numero dos es un numero primo y es un numero par"; "si x es igual a 3, entonces el límite de la función es igual a infinito",...