UNIDAD II.
LÓGICA MATEMÁTICA
CUADRO SINÓPTICO:
Imagen 1 Mapa conceptual: Lógica matemática. Elaboración propia.
Para la elaboración de este mapa conceptual se dio uso del material visto en clase,
detallando conceptos básicos para la implementación del mapa. La relación que llevan
los conceptos van bajo el mismo régimen que es la lógica aplicada; se puede apreciar,
que la mayor parte donde se desglosa el tema es en los conectivos lógicos, en lo que
llevamos desarrollado en clase teoría del primer registro se verán implementados en la
tautología de tablas de verdad.
Los mapas conceptuales se tratan de hacer un resumen de como se desglosan los
temas y algunos conceptos básicos, algunos no aparecen detallados, pero se darán a
conocer en el resumen implementado en la siguiente página.
RESUMEN DEL TEMA
LÓGICA MATEMATICA.
Se entiende por proposición o enunciado que es una expresión con valor referencial o
informativo, de la cual se puede formular su veracidad o falsedad; es decir, que puede
ser falsa o verdadera pero no ambas a la vez. La proposición es la expresión lingüística
del razonamiento, que se caracteriza por ser verdadera o falsa empíricamente, sin
ambigüedades.
En matemáticas trabajamos con proposiciones. El término proposición es tomado de la
lógica y suele ser definido como un enunciado que puede ser calificado de verdadero o
falso. Se considera la proposición como un enunciado y este último como una frase u
oración. Según lo anterior, por ejemplo, la expresión 3 < 7, que es claramente una
proposición verdadera del campo matemático, no lo sería si atendemos a lo dicho
líneas arriba. En el presente artículo se hace una revisión de las definiciones de lógica,
proposición y enunciado tomadas en una muestra de textos de secundaria y
universitarios que tratan el tema y, a partir de ello, se analiza la coherencia de las
definiciones de proposición y enunciado, así como su pertinencia en relación con las
matemáticas.
El valor de verdad de una proposición depende no solamente de las relaciones entre
las palabras del lenguaje y los objetos en el mundo, sino también del estado del mundo
y del conocimiento acerca de ese estado. Las proposiciones se representan por letras
minúsculas p, q, r, s, t, u. (Se pueden incluir más). (Tomado de
[Link]
25162017000100014#:~:text=En%20matem%C3%A1ticas%20trabajamos%20con
%20proposiciones,como%20una%20frase%20u%20oraci%C3%B3n.
Requisitos de una preposición:
• Ser oración.
• Ser asertiva (Falsa o verdadera)
• Evitando: interrogativas, exclamativas, imperativas.
• Ser verdadera o falsa.
CONECTIVOS LÓGICOS.
Los conectivos lógicos más utilizados son "no", "y", "o", "si, entonces" y "si y solo si".
Según el conectivo lógico que se use, la proposición compuesta se denomina
negación, conjunción, disyunción, condicional o bicondicional.
Estos conceptos quedarán más claros a través de ejemplos.
NEGACIÓN: Es la proposición compuesta que resulta de anteponer el conectivo lógico
“no” a una proposición simple.
Ejemplo: “Hoy no es festivo”.
Esta proposición compuesta se construye a partir de la proposición simple: “Hoy es
festivo” y el conectivo lógico "no".
Tal como se muestra en los siguientes ejemplos, en el lenguaje cotidiano se usan otros
términos de enlace en lugar de "no":
No es cierto que Gabriel García Márquez escribió la Ilíada.
Es falso que el agua es un hidrocarburo.
No es cierto que 2018 es año bisiesto.
CONJUNCIÓN: Es la proposición compuesta que resulta de enlazar dos proposiciones
simples mediante el conectivo lógico “y”.
Ejemplo: Madrid y Sevilla son ciudades de España.
Tanto “Madrid es una ciudad de España” como “Sevilla es una ciudad de España” son
proposiciones simples. Con las dos proposiciones y el conectivo lógico “y” se construye
la proposición compuesta del ejemplo.
Otros términos de enlace que se usan en forma cotidiana para construir conjunciones,
son: “sin embargo” y “pero”. En ocasiones también se usa ";". Ejemplos:
La gallina es un ave, pero no puede volar.
Las rosas son rojas; las orquídeas amarillas.
El 2 es un número par, pero también es un número primo.
5 - 2 = 3, pero el niño se cayó.
DISYUNCIÓN: Es la proposición compuesta que resulta de enlazar dos proposiciones
simples mediante el conectivo lógico “o”.
Ejemplo: Puedo ir a Itagüí en Metro o en bus.
En este caso tenemos dos proposiciones simples: la primera es “Puedo ir a Itagüí en
Metro”, mientras que la segunda es “Puedo ir a Itagüí en bus”. Al utilizar el conectivo
lógico “o”, obtenemos una proposición compuesta.
Otros ejemplos:
Colombia es una democracia o la Tierra gira alrededor del Sol.
La oficina está ocupada o está de noche.
Está lloviendo o está haciendo calor.
CONDICIONAL: Es la proposición compuesta que resulta de enlazar dos proposiciones
simples mediante el conectivo lógico “si, entonces”.
Ejemplo. Si Mario tiene calor, entonces se coloca una chaqueta.
Esta proposición se compone de “Mario tiene calor”, “Mario se coloca una chaqueta” y
el conectivo lógico “si, entonces”. En estos casos es frecuente denominar la primera
proposición simple como hipótesis o antecedente, y la segunda, como conclusión o
consecuencia.
En el lenguaje cotidiano es común que se omita la palabra "entonces" y se use ",". Por
ejemplo:
Si hace calor, voy a nadar.
Si no llueve, se arruina la cosecha.
BICONDICIONAL: Es la proposición compuesta que resulta de enlazar dos
proposiciones simples mediante el conectivo lógico “si y solo si”.
Ejemplo. Pago la cuenta de servicios si y solo si la empresa me envía el recibo.
Podemos diferenciar las siguientes dos proposiciones simples: “Pago la cuenta de
servicios” y “La empresa me envía el recibo”. Para construir la proposición compuesta
se usa el conectivo lógico “si y solo si”.
Otros ejemplos:
Puede abordar el avión si y solo si tiene un tiquete.
Los triángulos tienen tres lados si y solo si los hexágonos tienen 5.
Apruebo la asignatura si y solo si obtengo 5.0 en el examen final.
[Link]
logicos-y-proposiciones-compuestas#:~:text=Los%20conectivos%20l%C3%B3gicos
%20m%C3%A1s%20utilizados,%2C%20disyunci%C3%B3n%2C%20condicional%20o
%20bicondicional.
TAUTOLOGÍAS.
En lo que sigue, buscaremos métodos que nos permitan demostrar que una
determinada proposición compuesta es verdadera. Cuando una proposición compuesta
es verdadera, se denomina tautología. Si es falsa, se dice que es una contradicción.
Para verificar si una proposición compuesta es tautología, existen cuatro métodos que
revisaremos a continuación:
Tablas de Verdad.
Álgebra de Proposiciones (mediante Tautologías Notables).
Método Directo.
Método Indirecto (Exploración, Contradicción, Contrarrecíproco).
TABLAS DE VERDAD: Las tablas de verdad es una estrategia de la lógica simple que
permite establecer la validez de varias propuestas en cuanto a cualquier situación, es
decir, determina las condiciones necesarias para que sea verdadero un enunciado
propuesto, permitiendo clasificarlos en tautológicos (resultan verdaderos durante
cualquier situación) contradictorias (son enunciados falsos en la mayoría de los casos)
o contingentes (enunciados que no pueden será tantos verdaderos como falsos no
existen tendencia a un solo sentido).
Ejemplo:
[Link]