Está en la página 1de 27

Matemática A04

Universidad de las Fuerzas Armadas ESPE

Unidad 1

Introducción lógica matemática

Introducción lógica matemática 2


Universidad de las Fuerzas Armadas ESPE

Temario

Unidad I Introducción lógica matemática

Introducción
Video de presentación
Introducción
Lógica matemática
Lógica matemática
Proposición
Tabla de la verdad
Operadores lógicos
Definición de operadores lógicos
Orden de los operadores
Cálculo proposicional
Tablas de verdad proposicional
Leyes del álgebra proposicional
Razonamiento
Demostraciones: clases
Demostraciones: clases
Demostraciones por contraposición o contrarrecíprocas
Demostraciones por contraejemplo
Demostraciones por reducción al absurdo
Videos de consulta

Introducción lógica matemática 3


Universidad de las Fuerzas Armadas ESPE

Presentación

https://youtu.be/X5BFz5j2hzU

Introducción
Según la Unesco la educación de calidad debe proveer los conocimientos, esquemas
conceptuales, valores y habilidades para comprender y actuar efectivamente frente a las
variadas necesidades de la sociedad actual; en términos específicos debe transcender el
aprendizaje, muchas veces memorístico, de algoritmos y procedimientos de cálculo para
centrarse en “la motivación y gestión del conocimiento… y la capacidad de utilizar
conceptos, representaciones y procedimientos matemáticos para interpretar y
comprender el mundo real”. (UNESCO, 2008:16).

El curso abarca temas como: Lógica matemática que introduce al estudiante en el


lenguaje formal y la lógica simbólica mediante la cual se establece una base para
desarrollar capacidades de razonamiento, evaluar argumentos lógicos, inferir
conclusiones válidas, realizar demostraciones teórico-prácticas, lo que le permitirá
comprender mejor el estudio de las diferentes unidades de análisis.

La Teoría de conjuntos, junto con la de lógica matemática, constituye la base


fundamental de la matemática moderna. La unidad de Teoría de conjuntos, junto con la
de lógica matemática, constituye la base fundamental de la matemática moderna.

Las ecuaciones cuadráticas para luego abordar uno de los temas con mayor interés en la
mayoría de las carreras de formación profesional.

Y finalmente se enfoca en la estadística descriptiva básica orientada a las ciencias


sociales. Esta unidad de análisis pretende desarrollar competencias básicas en la
organización de datos, distribución de frecuencias, representación gráfica, cálculo de
medidas de tendencia central y de dispersión.

Introducción lógica matemática 4


Universidad de las Fuerzas Armadas ESPE

Lógica matemática
Introducción a la lógica matemática

La lógica es un procedimiento razonado que no acepta conclusiones erradas. Esto se


puede lograr definiendo en forma estricta cada uno de los conceptos. Todo debe
definirse de tal forma que no dé lugar a dudas o imprecisiones en la veracidad de su
significado. Nada puede darse por supuesto. Por ejemplo, en el lenguaje ordinario, un
enunciado u oración se puede definir como “una palabra o grupo de palabras que
declara, pregunta, ordena, solicita o exclama algo”. Sin embargo, en lógica simbólica
una oración tiene un significado mucho más específico y se llama proposición, que son
los elementos fundamentales de la lógica. Por ello, las oraciones que no son falsas ni
verdaderas, las que son falsas y verdaderas al mismo tiempo, o las que demuestran
algún tipo de imprecisión (carecen de sentido), no son objeto de estudio de la lógica.

Los objetivos de esta sección son los siguientes:

• Distinguir los diferentes tipos de razonamiento usados en un lenguaje natural para la


interpretación apropiada de un procedimiento lógico matemático.

• Comprender la importancia de la lógica simbólica en el estudio de los fundamentos


de las matemáticas, logrando desarrollar un pensamiento analítico y crítico.

Proposición

Una proposición es un enunciado que sólo puede ser verdadero o sólo puede ser falso,
es decir que los enunciados que no son falsos ni verdaderos o que son ambos al mismo
tiempo o carecen de sentido o son imprecisos no son objeto de estudio en la lógica.

Enunciados que son proposiciones: Enunciados


Enunciados que son proposiciones:
que no son proposiciones:
• Quito es la capital del Ecuador
• Haz rápido el deber
• El cóndor es un mamífero
• ¡Que viva nuestro país!
• Un triángulo tiene todos sus lados
• No olvides realizar las compras
de igual magnitud
• X+5 = 3
•2+2=5

Los enunciados anteriormente expuestos son proposiciones. Los mismos que se pueden
calificar como verdaderos o falsos, sin dificultad alguna.

Las proposiciones pueden ser simples y compuestas.

Notación

Por lo general se utilizan las letras del alfabeto español en minúsculas p, q, r,… para
simbolizar las proposiciones.

Ejemplo 1.3: Representación de notaciones

Introducción lógica matemática 5


Universidad de las Fuerzas Armadas ESPE

. p: La manzana es una fruta


. q: El agua es indispensable para la vida
. r: Los duraznos son tubérculos

Tabla de la verdad
Valor de la verdad

El valor de verdad de una proposición es la cualidad de veracidad que describe


adecuadamente la proposición. Este puede ser verdadero (1) o falso (0).

Una tabla de verdad es una representación de los posibles valores de verdad que podría
tomar una proposición.

Las tablas de verdad sirven para mostrar los valores, las relaciones y los resultados
posibles al realizar las operaciones lógicas.

¿Cómo se construye una tabla de la verdad?

La cantidad de combinaciones (filas de la tabla de verdad) depende de la cantidad de


proposiciones presentes en la expresión lógica. Si se tienen dos proposiciones la
cantidad de combinaciones en la tabla de verdad es cuatro. Si se tienen tres
proposiciones la cantidad de combinaciones en la tabla de verdad es ocho. Y así
sucesivamente.

Introducción lógica matemática 6


Universidad de las Fuerzas Armadas ESPE

# de proposiciones # de combinaciones
1 2 1= 2
2 2 2= 4
. .
. .
. .
n 2n

Ejercicio

• Identifique cuáles de los siguientes enunciados son proposiciones y en caso de no serlo


justifique su respuesta.

a) A todos les gusta el futbol.

b) Está haciendo frío.

c) La luna es un satélite de la tierra.

d) Mi papa tiene teléfono móvil.

• Simbolice las siguientes proposiciones.

a) No vi la película, pero leí la novela.

b) Ni vi la película ni leí la novela.

c) Vi la película aunque no leí la novela.

d) No me gusta trasnochar ni madrugar.

Definición de operadores lógicos


Los objetivos de este tema son:

• Identificar los operadores lógicos y las proposiciones presentes en un determinado


texto
• Traducir una proposición expresada en lenguaje simbólico a lenguaje natural.
• Analizar las condiciones necesarias y suficientes de una proposición condicional
siempre verdadera.

Definición de operadores lógicos

En el lenguaje cotidiano se usa frecuentemente proposiciones más complejas. Se torna en una


necesidad poder establecer nexos para las proposiciones, a los cuales se les denomina
conectores u operadores lógicos. Gramaticalmente, estos operadores lógicos, en su mayoría,

Introducción lógica matemática 7


Universidad de las Fuerzas Armadas ESPE

son denominados partes invariables de la oración.

Ejemplo

• No estudie para la prueba


• Estuve muy ocupado y no dormí bien
• • Si me porto bien, entonces me compran una bicicleta.

Negación

Revise el siguiente video sugerido https://www.youtube.com/watch?v=YFJnRxOed5Y


Sea p una proposición, la negación de p, representada simbólicamente por ~ p, es una
nueva proposición, cuyo valor de verdad se muestra a continuación:

Cuadro 1: Tabla de verdad de la negación

Este operador lógico cambia el valor de verdad de una proposición: si p es una


proposición verdadera, ~ p es falsa; si p es una proposición falsa, ~ p es verdadera.

La negación se presenta con los términos gramaticales: “no”, “ni”, “no es verdad que”,
“no es cierto que”, “es falso que”, “es imposible que”, “no se da que”.

Ejemplo Negación de proposiciones.

Sea la proposición: La negación de a es:

p: Diana fue al cine ~ p: Diana no fue al cine

q: José no juega bien fútbol ~ q: José juega bien fútbol

Ejercicios

Negar las siguientes proposiciones simples:

• p: Todos los números primos son pares.


• q: No todos los triángulos son isósceles.

Conjunción

Introducción lógica matemática 8


Universidad de las Fuerzas Armadas ESPE

Cuadro 2: Tabla de verdad de la conjunción

En español la conjunción se presenta con los términos gramaticales: “y”, “pero”, “mas”,
“también”, “sin embargo”, “además”, “tal como”, “no obstante”, “aunque”, “a la vez”, y
signos de puntuación como: la coma (,), el punto (.) y el punto y coma (;).

Ejemplo Conjunción de proposiciones

Sean las proposiciones:

• p: Julio estudio matemáticas.


• q: Julio realizo las tareas.

Ejercicios

Construya las tablas de verdad de:

Disyunción

Sean p y q proposiciones, la disyunción entre p y q, representada simbólicamente por


pvq, es una nueva proposición, cuyo valor de verdad se muestra a continuación:

Introducción lógica matemática 9


Universidad de las Fuerzas Armadas ESPE

Cuadro 3: Tabla de verdad de la disyunción

En español, la disyunción se presenta con el termino gramatical “o”.

Ejemplo 2.3: Disyunción de proposiciones

Sean las proposiciones:

p: Alexis trabaja en una empresa

q: Alexis realiza quehaceres domésticos.

La disyunción de estas proposiciones es:

• p v q: Alexis trabaja en una empresa o realiza quehaceres domésticos.

Ejercicios

• Construya las tablas de verdad de:

Conjunción negativa

Es la unión de dos o más proposiciones por “ni”. El resultado es verdadero únicamente


cuando las dos proposiciones son falsas (ni p ni q), en cualquier otro caso es falsa.

Introducción lógica matemática 10


Universidad de las Fuerzas Armadas ESPE

Cuadro 4: Tabla de verdad de la conjunción negativa

Ejemplo: De la Conjunción Negativa

Sean las proposiciones:

• p: Tengo caramelos
• q: Tengo un helado

Disyunción exclusiva

Es la unión de dos o más proposiciones mediante el conectivo lógico “o”

Se lee o p o q, pero no ambos. Es verdadera la proposición cuando la primera


proposición es verdadera y la segunda es falsa o cuando la primera proposición es falsa
y la segunda verdadera.

Cuadro 5: Tabla de verdad de la disyunción exclusiva

Ejemplo Disyunción exclusiva

• p: Estoy estudiando
• q: Estoy trabajando
• p v q: Estoy estudiando o solo Estoy trabajando

Introducción lógica matemática 11


Universidad de las Fuerzas Armadas ESPE

Condicional

Viene a ser la combinación de dos preposiciones con “si… entonces”. Se lee si p


entonces q.

Una proposición condicional es falsa cuando la primera proposición es verdadera y la


segunda es falsa. Es verdadera en cualquiera de las otras formas.

Cuadro 6: Tabla de verdad del condicional o implicación

Bicondicional

Es la unión de dos proposiciones por “si y solo si”. Se lee p si y solo si q.

Una proposición bicondicional es verdadera cuando, o sus dos componentes son


verdaderos o sus dos componentes son falsos.

Introducción lógica matemática 12


Universidad de las Fuerzas Armadas ESPE

Cuadro 7: Tabla característica del Bicondicional.

Ejemplo: Bicondicional

Ejercicios

Orden de los operadores


Para la agrupación de proposiciones y jerarquía en la aplicación de los operadores
debemos de considerar lo siguiente:

Introducción lógica matemática 13


Universidad de las Fuerzas Armadas ESPE

Tablas de verdad proposicional


Los objetivos para este tema son:

• Identificar la diferencia entre proposiciones y formas proposicionales


• Reconocer los diferentes tipos de formas proposicionales
• Identificar implicaciones y equivalencias lógicas.

Tablas de verdad proposicional

Se denominan formas proposicionales a las estructuras construidas por variables


proposicionales y los operadores lógicos que las relacionan. Estas formas
proposicionales se representan con las letras mayúsculas del alfabeto español A, B, C,…

Observaciones

Introducción lógica matemática 14


Universidad de las Fuerzas Armadas ESPE

Ejemplo Tabla de verdad de una forma proposicional

Dada la siguiente forma proposicional:

Debido a la presencia de las 3 variables proposicionales p, q y r, existirán 23


proposiciones posibles en la tabla de verdad de A.

Cuando las variables proposicionales p, q y r toman los valores de verdad 1, 0 y 1,


respectivamente, se puede apreciar que la proposición resultante es verdadera.

Tautología y contradicción

• Si se tienen solamente proposiciones verdaderas para todos los valores de verdad de


las variables proposicionales, se dice que es una tautología.
• Si se tienen solamente proposiciones falsas para todos los valores de verdad de las

Introducción lógica matemática 15


Universidad de las Fuerzas Armadas ESPE

variables proposicionales, se dice que es una CONTRADICCIÓN.

Partiendo de estas definiciones, la forma proposicional A del ejemplo anterior


constituye una contingencia, mientras que la forma proposicional es una
tautología; y, la forma proposicional es una contradicción

Observe

En este punto, podemos resumir lo siguiente:

significa que la proposición a es verdadera.

significa que la variable proposicional p puede ser remplazada solamente por


proposiciones verdaderas.

significa que la forma proposicional A es tautología.

Implicación lógica

Sean A y B dos formas proposicionales, se dice que A implica lógicamente a B,


denotado por si y solo si B es una tautología.

Ejemplo 3.3.1 Implicación Lógica

La forma proposicional tautológica: se puede traducir al lenguaje común


como “si se tiene p, de cualquier manera q se seguirá teniendo p”.

Introducción lógica matemática 16


Universidad de las Fuerzas Armadas ESPE

Ejemplo 3.3.2 Implicación lógica

La forma proposicional tautológica: se puede


traducir al lenguaje común como “si cada vez que se tiene p no se tiene a q y cada vez
que no se tiene p se tiene r, entonces cada vez que se tiene p no se tiene q"

El resultado es una tautología por lo tanto es una implicación.

Equivalencia lógica

Sean A y B dos formas proposicionales, se dice que A es equivalente lógicamente a B,

Introducción lógica matemática 17


Universidad de las Fuerzas Armadas ESPE

denotado por si y solo si es una tautología.

Cuando se requiere sustituir una estructura por otra que sea equivalente,
alternativamente el símbolo se lo reemplaza por

Ejemplo 3.4.1 Equivalencia lógica

La forma proposicional: ), se puede traducir al lenguaje común


como “cada vez que se tiene p, se tiene q”, y es lógicamente equivalente a “cuando no
se tiene q, entonces no se tiene p”

Leyes del álgebra proposicional


Las operaciones lógicas definidas entre las formas proposicionales y algunas de sus más
importantes propiedades se incluyen en las denominadas leyes del álgebra de
proposiciones o leyes lógicas. A continuación se presentan las de uso más frecuente:

Cuadro 7. Leyes de los operadores fundamentales conjunción y disyunción

Introducción lógica matemática 18


Universidad de las Fuerzas Armadas ESPE

Cuadro 8. Leyes de los operadores negación, condicional y bicondicional

Introducción lógica matemática 19


Universidad de las Fuerzas Armadas ESPE

Cuadro 9. Leyes de las implicaciones lógicas

Para demostrar estas propiedades u otras, se pueden emplear tablas de verdad o utilizar
algunas de las propiedades más elementales, como se verá a continuación.

Ejemplo: Demostración de propiedades de los operadores lógicos.

Se requiere demostrar la equivalencia lógica: se puede


emplear tablas de verdad o propiedades de los operadores lógicos.

Desarrollo:

Empleando tablas de verdad, se construyen las respectivas combinaciones para las


variables proposicionales involucradas en la forma proposicional.

Para el efecto se denominara:

Tal como se muestra en la siguiente tabla:

Introducción lógica matemática 20


Universidad de las Fuerzas Armadas ESPE

Puesto que es una tautología, se concluye que existe una


equivalencia lógica entre estas dos formas proposicionales, con lo cual se obtiene la
demostración requerida.

Empleando propiedades de los operadores lógicos se debe transformar la estructura de


una de las formas proposicionales (o ambas) hasta establecer la equivalencia lógica
requerida. En este ejemplo se trabajara sobre la forma proposicional A, hasta obtener la
estructura de la segunda

Con esto se concluye que las dos formas proposicionales son equivalentes entre si.

Las propiedades de los operadores lógicos también son útiles cuando se requiere
expresar ideas o enunciados de una forma inequívoca y precisa.

Ejemplo Aplicación de propiedades de los operadores lógicos.

Considere las siguientes proposiciones simples:

1. p: El clima es propicio.
2. q: La tierra es fértil.

Introducción lógica matemática 21


Universidad de las Fuerzas Armadas ESPE

3. r: La flor crecerá.

Se quiere negar la proposición compuesta:

“Si el clima es propicio y la tierra es fértil, la flor crecerá”

Desarrollo:

La traducción del enunciado original es:

La negación de la proposición anterior es:

Por lo tanto, la negación de la proposición podrá expresarse con cualquiera de las


siguientes frases equivalentes:

“El clima es propicio y la tierra es fértil, pero la flor no crecerá”

“La tierra es fértil, la flor no crecerá y el clima es propicio”.

Aunque al lector le agrade una de ellas más que la otra, desde el punto de vista lógico,
las dos representan la negación del enunciado original.

Razonamiento
Son proposiciones compuestas que pueden ser representadas por la conjunción de
preposiciones denominadas premisas o hipótesis, la condicional como operador lógico
principal y una proposición final denominada conclusión.

Las premisas u hipótesis corresponden al antecedente de la implicación, mientras que la


conclusión es su consecuente.

Introducción lógica matemática 22


Universidad de las Fuerzas Armadas ESPE

Recuerda:

La lógica simbólica se ocupa de analizar la validez de los razonamientos; no nos puede


decir si la información contenida en una hipótesis es verdadera o falsa. Los términos
válidos y no valido se refieren a la estructura del razonamiento.

Un razonamiento es válido cuando la forma proposicional que representa su estructura


lógica es tautología.

Ejemplo: Determinación de la validez de un razonamiento

Determine si el siguiente razonamiento es válido:

“Si Luis recibió el e-mail, entonces tomo el avión y estará aquí al medio día. Luis no
tomo el avión. Luego, Luis no recibió el e-mail”.

Desarrollo:

Se procedió primero a identificar las proposiciones simples:

• p: Luis recibió el e-mail.


• q: Luis tomó el avión.
• r: Luis estará aquí al mediodía.

Luego, se identifican las hipótesis y la conclusión de las siguientes formas


proposicionales:

Con lo cual, la estructura lógica del razonamiento seria:

Introducción lógica matemática 23


Universidad de las Fuerzas Armadas ESPE

Puesto que la forma proposicional resulto tautológico, podemos concluir que el


razonamiento es válido.

Demostraciones: clases
A partir de estas se pueden emplear técnicas directas, técnicas de contraposición,
contraejemplo y reducción al absurdo.

Demostraciones directas

Conocido como “Marcha Adelante” consiste en examinar los elementos.

Ejemplo: Demostración Directa

Demostrar la Ley del MODUS PONENDO PONENS (pq)pq utilizando el método de


demostración directa.

Desarrollo:

Introducción lógica matemática 24


Universidad de las Fuerzas Armadas ESPE

Con lo cual queda demostrado que la forma proporcional es tautológica,


independientemente del valor de verdad que tomen las variables proposicionales.

Demostraciones por contraposición o


contrarrecíprocas

CONOCIDO COMO “Supongamos que no” basada en la equivalencia entre y

Ejemplo:

“Demuéstrese que todos los números primos mayores que 2 son impares”

Aquí la proposición p es “n es un numero primo mayor que 2” y la proposición q es “n


es un número impar”.

Demostrar “Si todo numero primo es mayor que 2, entonces es impar es lo


mismo que demostrar que “si todo entero a negativo no es impar, entonces no es un

numero primo o es menor o igual que 2”

Desarrollo:

Numero par n=2 x k donde k es mayor o igual a 1 (números naturales).

Si K=1 tenemos n = 2, es un numero primo. Por lo tanto todos los números primos
mayores que 2 son impares.

Demostraciones por contraejemplo


Consiste en dar un ejemplo y demostrar el hecho que la proposición sea falsa, aportando
por lo menos un ejemplo. El contraejemplo pone en evidencia que existe al menos un
caso en el cual la proposición no es verdadera.

Ejemplo:

Introducción lógica matemática 25


Universidad de las Fuerzas Armadas ESPE

Verifique si la siguiente proposición es verdadera:

“Las ciudades del Ecuador son capitales de provincias”

Desarrollo

Haciendo una lectura rápida podemos concluir que su valor de verdad es verdadero, ya
que en Guayaquil, Portoviejo, Machala, Quito entre otras, son ciudades y capitales de
provincias. Mientras que Quevedo es una ciudad y no es capital de provincia alguna de
nuestro país, lo mismo ocurre con ciudades como Manta, Atacames y Milagro,
constituyendo por ende contraejemplos para la proposición objeto de estudio, la cual
definitivamente es falsa.

Demostraciones por reducción al absurdo

En este método el operador principal de un razonamiento es la implicación , la


estructura no es tautológica si existe al menos un caso 10. Tomando como conclusión
que la hipótesis es falso.

Ejemplo:

Determine la validez del razonamiento: “si llueve, hay producción; si hay granizo, no
hay producción; hay granizo o no hay nevada. Por lo tanto, no llueve”

Desarrollo

Identificando las proposiciones simples tenemos:

• p: Llueve
• q: Hay producción
• r: Hay granizo
• s: Hay nevada

La forma proposicional queda:

Si quisiéramos construir su tabla de verdad tendríamos que elaborar 16 combinaciones


por las variables p, q, r y s. Pero usando el método de reducción al absurdo,
determinaremos los valores de verdad, comenzando con el consecuente del
razonamiento, el cual se supone es falso; y y para que el antecedente sea verdadero,
debe cumplirse que sea verdadera.

Introducción lógica matemática 26


Universidad de las Fuerzas Armadas ESPE

Si a partir del supuesto valor de verdad de la conclusión, que es falso, se determinó que
el valor de verdad del antecedente es verdadero, la forma proposicional no es
tautológica. Por lo tanto, el razonamiento no es válido.

Videos de consulta

https://www.youtube.com/watch?v=9AzH7WNE6xY

https://www.youtube.com/watch?v=O7LOh4Sa5qE

https://www.youtube.com/watch?v=4uzst6uhkjc

Introducción lógica matemática 27