Logica Matematica

Lorenzo Antonio Jasso Martínez

 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.
 La Lógica estudia la forma del razonamiento. La 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, sin embargo, se usa en forma constante para realizar
cualquier actividad en la vida.
 La inteligencia lógico matemática, tiene que ver con la habilidad de
trabajar y pensar en términos de números y la capacidad de emplear
el razonamiento lógico.
 Pero este tipo de inteligencia va mucho más allá de las capacidades
numéricas, nos aporta importantes beneficios como la capacidad de
entender conceptos y establecer relaciones basadas en la lógica de
forma esquemática y técnica. Implica la capacidad de utilizar de
manera casi natural el cálculo, las cuantificaciones, proposiciones o
hipótesis.
Argumento
 Un argumento es un razonamiento por el cual se intenta expresar la
validez de una tesis o idea. Es el elemento central sobre el que gira el
resto del contenido.

 El argumento es el eje central de la idea que se intenta exponer. Su

construcción ha de ser muy fuerte y aparentemente irrefutable, ya
que, si la argumentación es débil, se podrá contrarrestar fácilmente y
provocará que el resto de la tesis, aunque pueda tener elementos y
partes válidas, quede anulada totalmente.
 La argumentación ha de ser también lógica, aunque la idea parezca ser
contradictoria, como ocurre con las paradojas, el argumento que hay detrás sí
que debe ser lógico y eliminar las contradicciones.  
 Otro elemento que ha de tener esta argumentación es la persuasión, con la que
buscamos convencer a la persona con la que conversamos, o a los
espectadores que nos observan.
 Esta argumentación tendrá más fuerza, además, si hay un buen dominio de
la retórica. Por ejemplo, si el argumento está bien construido y es sólido,
pero no nos sabemos expresar bien, nos trabamos, nos quedamos muy
pensativos, o tenemos faltas ortográficas, si lo plasmamos en un texto, el
argumento perderá fuerza y puede no ser tomado con la seriedad que nosotros
esperábamos.
 Características de un argumento

 En base a su definición y elementos, un argumento posee las

siguientes características:
 El argumento defiende una tesis o idea.
 Se divide internamente en premisas y conclusiones.
 Ha de ser lógico y coherente para evitar contraargumentaciones.
 El buen uso de la retórica reforzará tanto el contenido y coherencia
del argumento como su capacidad persuasiva.
 Ha de ser persuasivo, se busca convencer al receptor del mensaje
que emitimos.
Estructura de un argumento
La argumentación se divide, principalmente, en dos partes:
premisas y conclusión.
 Premisas: Son el conjunto de ideas que adoptamos como
verdaderas, sirviendo como base para el desarrollo de la
argumentación. Es un elemento esencial, ya que si las premisas
son erróneas o falsas, el argumento construido sobre ellas
también lo será. Por ejemplo, en la investigación sobre un
asesinato, necesitamos saber con seguridad ciertas cosas para
construir el caso y nuestra argumentación, como el arma del
crimen. Si en nuestra investigación tomamos como arma un
cuchillo, pero realmente fue un arma de fuego, con seguridad
el resto de la investigación será errónea, puesto que partimos
de una premisa errónea.
 Conclusión: Es la tesis derivada del proceso argumentativo.
También es un elemento indispensable. Pues, tras elaborar la
relación entre las distintas premisas, la conclusión es la idea
derivada de las mismas. La conexión entre premisa y
conclusión ha de ser fuerte, lógica e indestructible. Puesto
que de ello se deriva la veracidad y la persuasión de nuestro
argumento. 
 Tipos de argumento

Hay muchos tipos de argumentos, todos ellos emanan las características

señaladas y la estructura establecida anteriormente:
 Por autoridad: Es aquel que se realiza por una persona de
reconocido prestigio en el ámbito en el que se argumenta.
 Por analogía: Es aquel que se lleva a cabo a través de extrapolar
otros casos similares al nuestro.
 Argumento inductivo: Se caracteriza por generar argumentos a
través de las pautas observadas en casos particulares.
 Por ejemplificación: Es el que se desarrolla poniendo como
ejemplo experiencias personales o que han vivido personas
cercanas.
 Argumento deductivo: El argumento deriva de las premisas, es
decir, la particularidad se deduce de una o varias generalizaciones.
 Argumento causal: Se basa en una relación causa-efecto. 
 Por generalización: Se generaliza el patrón observado en unidades
más pequeñas.
Logica Computacional
 la Lógica Computacional es una disciplina que estudia la
aplicación de la Lógica Formal para la representación
computacional de argumentos, las técnicas de deducción
automática o asistida por computadora, los fundamentos
relacionados con validez y completez (completeness) de sistemas
de proposiciones y, las aplicaciones de esas técnicas a las
diferentes áreas de las Ciencias Computacionales en todas las
etapas del desarrollo del software, es decir, especificación,
diseño, construcción y verificación formal de programas.
 La Lógica Computacional, sin embargo, no actúa de manera
aislada. Para el establecimiento de fundamentos de las ciencias
computacionales concurren conjuntamente con la Lógica
Computacional, disciplinas como Teoría de la Computación y
Análisis de Algoritmos; para el desarrollo de sistemas, la Lógica
Computacional participa con la Ingeniería de Software para el
establecimiento de Métodos Formales de Especificación y
Verificación de Programas, los cuales pueden ser usados para el
desarrollo de sistemas críticos y/o concurrentes..
Por otra parte la Lógica Computacional en conjunción con otras
disciplinas permite la resolución eficiente de problemas complejos,
así por ejemplo Métodos de Optimización Combinatoria y de Lógica
Computacional mezclados adecuadamente con métodos heurísticos
de la Inteligencia Artificial ofrecen alternativas de solución a
problemas computacionales muy dificiles que se les ha denominado
NP completos
Como se utiliza la logica computacional?
De acuerdo con los descriptores de las ciencias computacionales, la lógica
computacional tiene una utilidad directa con:
 Matemática Discreta: A través de la aritmética entera y modular, la combinatoria,
los grafos y la teoría de conjuntos. Los sistemas de razonamiento de la lógica
computacional son la base para las demostraciones en estructuras discretas,
además los lenguajes normalizados y grafos participan conjuntamente en el
estudio de los problemas; mientras que el concepto de conjuntos están
estrechamente relacionados con el aprendizaje del lenguaje de la lógica de primer
orden.
 Lógica de programación: A través de la algoritmia, las
estructuras de programación y el análisis estructurado de
problemas. La lógica computacional es la base para comprender,
analizar y proponer soluciones a los problemas de la lógica de
programación.
 Ingeniería de software: A través de abstracción de problemas,
representación gráfica de modelos, iteraciones e interacciones. El
ciclo de vida del software que se aplica en la ingeniería de
software requiere de la lógica computacional para que la
ingeniería de requisitos y las pruebas del software se integren
desde el comienzo mismo de la interacción con los usuarios.
 La lógica computacional justifica su inclusión en las
ciencias computacionales porque sus teorías se aplican
a diversos campos:
 El diseño del hardware: Para diseñar computadores
digitales y los que funcionan con circuitos integrados
VLSI, se utiliza lógica computacional. La lógica de
Hoare en los primeros y la lógica de orden superior en
los segundos, y para ambos la base es el cálculo
proposicional.
 Los lenguajes de programación: La lógica como lenguaje se
orienta más a las personas que otros lenguajes de programación
clásicos, por lo que se convirtió en la base fundamental para la
aparición de la nueva generación de lenguajes de programación.
Este paradigma de programación, conocido como programación
lógica, por sí solo justifica la inclusión de la lógica en los
programas de informática.
 En la ingeniería la Lógica Computacional incluye programación
lógica, programación con restricciones y programación funcional,
análisis de programas, síntesis de programas y transformación de
programas.