Untitled

LÓGICA MATEMÁTICA

Es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad.

Proposiciones

se designa la enunciación de una verdad demostrada o que se trata de demostrar mediante una fórmula constituida por una serie de signos. Para que una proposición matemática sea interpretable como una verdad, esta debe encontrarse bien formada, pues de lo contrario no puede tener valor de verdad debido a que no hay garantía de que sea interpretable.