LogMat1BSCevallosBrandoDeberN1

UNIVERSIDA TÉCNICA DE AMBATO
FACULTAD DE INGENIERIA EN SISTEMAS

DATOS PERSONALES
NOMBRE: Cevallos Brando DEBER: N° 01
AULA: Primero “B” Sistemas
FECHA: 13/04/15

Logica Matématica
Es ladisciplina 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 enmatemá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 lasciencias 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.


Partes de la lógicamatemática
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivosy semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales ysusceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es unasubdisciplina de la lógica formal.
La lógica simbólica es el estudio de la lógica mediante la matemática, es decir, que incorpora la exactitud y rigor matemáticos.
 
Un razonamiento es cualquier grupo deoraciones declarativas, tal que una de ellas (conclusión) se afirma que se deriva de otras, llamadas premisas, las cuales se consideran evidencia de la verdad de la primera.

Que es una proposicion?Proposición es un concepto con diferentes usos. Puede tratarse de la manifestación de algo para que otros individuos conozcan una intención, de la concreción de una propuesta o de un enunciado que...