¿QUE ES LA LÓGICA MATEMÁTICA?
------------------> 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;
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.
¿QUE ES UNA PROPOSICION?
En el idioma científico, una proposiciòn se refiere a un enunciado que puede ser verdadero o
falso, generalmente una oración enunciativa, base de lo que constituye el lenguaje formal de
la lógica simbólica.
Una proposición lógica es Expresión enunciativa a la que puede atribuirse un sentido o función
lógica de verdad o falsedad.
¿QUE REQUISITOS DEBE CUMPLIR UNA EXPRESION LINGUISTICA PARA QUE SEA UNA
PROPOSICION?
1. Debe ser oracion: es la unidad de expresión en el idioma, compuesta de varias palabras, que
contiene en forma completa una idea o concepto lógico, y que tiene en su conjunto un valor
independiente del significado de cada una de las palabras que la componen.
2. deve ser oracion aseverativa: también denominadas enunciativas, son aquellas en que se
contiene una aseveración o se enuncia un contenido destinado a su comunicación.
3. bien ser verdadera o bien ser falsa : la sola frase lo dice todo
CLASIFICACION DE LAS PROPOSICIONES:
Proposiciones simples o atómicas: son aquellas que constan de un solo enunciado.
Proposiciones compuestas o moleculares: son las que constan de dos o más proposiciones
simples entrelazadas por ciertas particularidades lógicas llamadas conectivos lógicos
CLASIFICACION DE PROPOSICIONES COMPUESTAS
La Negación: la conectiva “no” es la que se antepone a una proposición para cambiar su valor
de verdad y se representa por el siguiente símbolo “~”.
La Conjunción: es una proposición compuesta que se obtiene al unir dos proposiciones simples
unidas o entrelazadas mediante el conectivo “y”, y se representa con el siguiente símbolo:
“<>”.
La Disyunción Inclusiva: es una proposición compuesta de dos proposiciones simples unidas
por el conectivo lógica “o”, que se representa de la manera siguiente: “V”.
La Disyunción Exclusiva: es una proposición compuesta por dos proposiciones simples
entrelazas por el conectivo “o…o” y se representa así: “V”.
La Condicional o Implicación: es la combinación de dos proposiciones unidas por la conectiva
“si…entonces…”, que se representa de la forma siguiente: “→“. La proposición que aparece
entre las palabras”Si y Entonces”, se denomina antecedente o hipótesis y la que aparece
después de la palabra “Entonces”, se le llama consecuente o conclusión.
La Bicondicional o Doble Implicación: es una proposición que se obtiene al unir dos
proposiciones simples mediante el conectivo “si y solo si” y se representa así:”<>”
VALOR DE VERDAD DE LAS PROPOSICIONES COMPUESTAS
La Negación: si una proposición (sea simple o compuesta) es verdadera, su negación es falsa y
viceversa. Ejemplo: si P es: “Constanza es un municipio de la Vega”, ~ P se leerá: “no es cierto
que Constanza es un municipio de la Vega”.
La Conjunción: esta proposición solo es verdadera cuando las dos proposiciones que la forman
son verdaderas, y en los demás casos será falsa.
La Disyunción Inclusiva: esta proposición es falsa únicamente cuando las dos proposiciones
que la forman son falsa, en caso contrario es verdadera.
La Disyunción Exclusiva: esta solo será verdadera cuando las dos proposiciones que la
componen tienen diferentes valores de verdad, en caso contrario es falsa.
La Condicional o Implicación: una condicional solo es falsa cuando su antecedente es
verdadero y el consecuente es falso; en lo demás casos la condicional es verdadera.
La Bicondicional o Doble Implicación: esta solo es verdadera cuando las dos proposiciones que
la forman tiene el mismo valor de verdad, es decir, cuando las dos proposiciones que la forman
ambas sean verdaderas o ambas falsas. En caso contrario la Bicondicional es falsa.
Inferencia logica
Antes de hablar acerca de las reglas de inferencia es bueno resaltar algunos conceptos claros y
básicos para el entendimiento de este; uno de ellos son las lógica.
La lógica es una rama de la filosofía la cual estudia la demostración e inferencia valida. Es una
rama de la matemática que se desarrollo en el siglo XIX, es considerada como la ciencia del
razonamiento.
El estudio de la lógica y de las proposiciones nos ayudara a tener un pensamiento preciso y
herramientas para argumentar claramente situaciones de una manera mas exacta.
Desarrollo
Existen tres tipos de sistema lógico:
1. Lógicas Clásicas
2. Lógicas no clásicas
3. Lógicas modales
Las proposiciones son afirmaciones con un único valor de verdad; ó son verdaderas o falsas.
Las reglas de inferencia son también llamadas reglas de transformación y su principal
característica es que nos permiten dar conclusiones muy bien formadas y validas a partir de
otras premisas.
Las reglas de inferencia se clasifican en: Atómicas (Simples) y Moleculares (Compuestas)
Dentro de la inferencia encontramos sus reglas en donde es muy fácil aprender su uso. Se
debe utilizar las preposiciones o formas lógicas nombres que se le dará a las preposiciones.
Una premisa verdadera conducirá a una conclusión verdadera.
[Link]
La regla de inferencia son argumentos validos breves que se utilizan dentro de un argumento
mas largos como una demostración.
DEMOSTRACIONES:
[Link]
EJEMPLO:
Modus Ponens: Llamada también ley de separación
Si estudio gano los exámenes, me va bien en el promedio
Gane los exámenes
Por lo tanto me va bien en el promedio
Si me porto bien, iré a la fiesta
Me porte bien
Entonces iré a la fiesta
Modus Tollens:
Si pierdo el parcial, entonces sacare mala nota
No saque mala nota
Por lo tanto no perdí el parcial
Si Manuel esta enfermo , entonces no ira a mi cumpleaños
Manuel fue a mi cumpleaños
Entonces Manuel no estaba enfermo
Silogismo Hipotético:
Si Manuel habla no esta atento a lo que dice el profesor
Si no atiende al profesor, no entiende
Luego infiero..... Si Manuel no entendió no atendió al profesor
Silogismo Disyuntivo:
Es enero o es febrero
No es febrero
Por lo tanto es enero
Adición:
Si Manuela estudia
Si Manuela Trabaja
Luego infiero que Manuela estudia y trabaja
Si Lina canta
Si Lina baila
Luego infiero que Lina canta y baila
Una proposición lógica que no es una tautología (algo que resulta verdadero) se denomina
contingencia.
Las reglas de inferencia pueden ser comprobadas mediantes las tablas de verdad,
obteniéndose siempre una tautología es decir que los valores verdad son siempre verdaderos.
DEFINICIÓN DE
RAZONAMIENTO LÓGICO
Cuando una persona razona, desarrolla un razonamiento. Razonar es la actividad mental que
permite lograr la estructuración y la organización de las ideas para llegar a una conclusión.
Razonamiento lógico
La lógica, por su parte, es la ciencia dedicada a la exposición de las formas, los métodos y los
principios del conocimiento científico. Algo lógico, en este sentido, es aquello que respeta
estas reglas y cuyas consecuencias resultan justificadas, válidas o naturales.
Un razonamiento lógico, en definitiva, es un proceso mental que implica la aplicación de la
lógica. A partir de esta clase de razonamiento, se puede partir de una o de varias premisas
para arribar a una conclusión que puede determinarse como verdadera, falsa o posible.
El razonamiento lógico se puede iniciar a partir de una observación (es decir, una experiencia)
o de una hipótesis. El proceso mental de análisis puede desarrollarse de distintas maneras y
convertirse en un razonamiento inductivo, un razonamiento deductivo, etc. Según la clase de
razonamiento empleada, la conclusión tendrá mayor o menor posibilidad de resultar válida.
La conclusión encuentra su base en las premisas iniciales: el razonamiento lógico es el camino
que vincula ambas partes. El resultado del razonamiento tendrá un cierto grado de
probabilidad en cuanto a su veracidad, siempre que los razonamientos lógicos sean válidos.
Supongamos que una mujer visita un país que no conoce. La primera persona con quien
entabla conversación, habla en italiano. Lo mismo ocurre con la segunda y la tercera. A partir
de un razonamiento lógico, puede inducir que todas las personas en ese país hablan italiano.
Hay muchas personas, fundamentalmente menores, que aún no han conseguido hacer un uso
correcto del razonamiento lógico o que directamente necesitan mejorar al respecto. ¿Cómo
pueden conseguir ese objetivo? Llevando a cabo la utilización de una serie de recursos, como
juegos.
En concreto, en estos momentos, gracias al uso constante que hacemos de teléfonos móviles y
tabletas, han surgido distintas aplicaciones que ayudan en ese aspecto. Así, las hay que logran
desarrollar el razonamiento lógico mediante entretenimientos como sudokus hasta las que
apuestan por los puzzles, sin olvidar las apps que hacen lo propio basándose en ejercicios
habituales que están presentes en las pruebas de inteligencia.
Hay muchos niños que, además, tienen dificultades a la hora de poder hacer uso del
razonamiento lógico para resolver problemas matemáticos de distinta complejidad. De ahí que
sus padres y profesores deban ayudarles explicándoles a la perfección y de manera sencilla los
distintos conceptos matemáticos que están utilizando e incluso recurriendo a pizarras,
programas interactivos para ordenadores o esquemas sencillos que les permitan ir conociendo
todos los pasos que hay que dar para llegar a una solución final y absolutamente certera.
Dentro del ámbito universitario, no podemos olvidar que existen diversas carreras que
desarrollan su programación en base al razonamiento lógico o que este es uno de sus pilares
fundamentales. Nos estamos refiriendo a grados tales como Matemáticas, Estadística Aplicada,
Ingeniería de Tecnología de Minas y Energía, Física, Derecho, Ingeniería Informática, Filosofía,
Física o Fisioterapia, entre otras muchas más.