Matemticas discretas

UNIDAD 1 LOGICA MATEMATICA

1.1 Proposiciones y Conectivos Lgicos

Introduccin
Uno de los procesos por los cuales adquirimos conocimiento es el proceso de razonamiento, por ejemplo hay
personas que no saben sumar pero pueden hacer sus compras basndose en simples conductas lgicas que han
ido aprendiendo a lo largo de sus vidas. A su vez, hay una variedad de modos o formas mediante las cuales
razonamos o argumentamos a favor de una conclusin que puede ser cierta o no. Ciertas formas de
razonamiento parecen mostrar que si se suponen ciertas premisas, entonces la conclusin se sigue
necesariamente. A tales razonamientos se los ha denominado deductivos y forman el objetivo central de lo que
clsicamente se ha denominado lgica.
En un sentido amplio, el trmino lgico hace referencia al estudio de todos los razonamientos, y en un sentido
estricto ha estado circunscrito al estudio del razonamiento deductivo. Cierto tipo de razonamiento deductivo se
basa en la lgica proposicional. Lo que caracteriza a la lgica proposicional es que toma como unidades bsicas a
las proposiciones y que tiene en cuenta como se combinan entre ellas por medio de conectivos lgicos para
formar argumentos vlidos.

Qu es Matemticas Discretas ?
Parte de la matemtica que estudia los objetos Discretos (separados o discontinuos). Son usadas en donde los
objetos son contados, cuando las relaciones entre conjuntos finitos son estudiados y cuando los procesos que
involucran un nmero finito de pasos son analizados.

La lgica
La Lgica es el estudio del razonamiento; en particular, se analiza si un razonamiento es correcto.
Ejemplos:
Todos los matemticos utilizan sandalias
Cualquier persona que utilice sandalias es algebrista.
Por lo tanto, todos los matemticos son algebrista.
La Lgica se centra en las relaciones entre los enunciados y no en el contenido de un enunciado en particular.
El tipo de expresiones que interesan a la lgica son aquellas cuyo contenido puede ser evaluado como falso o
verdadero. A este tipo de expresiones se le denomina proposicin, sentencia o enunciado.
Existen diversos tipos de lgica como son la lgica proposicional y la lgica de predicados

Proposicin
Una proposicin se define como un enunciado, una oracin declarativa, o una expresin simblica, de la cual se
puede decir sin ambigedad, que es verdadera o falsa, pero no ambas.
Ejemplo:
La Coca-Cola es una empresa transnacional verdadero.
Todos los alumnos del ITESCAM son menores de edad.. falso
El grupo de ing. mecatrnica est iniciando el curso de matemticas discretas.. verdadero
Todos los alumnos del ITESCAM tiene coche del ao..... falso
La veracidad (V) o falsedad (F) de una proposicin se llama valor de verdad y viene dada por algn criterio
independiente de la proposicin.

Aurelio Lpez Ovando

LOGICA MATEMATICA

Unidad 1

Matemticas discretas

Expresiones que no son proposiciones

Todas las proposiciones son oraciones, pero no todas las oraciones son proposiciones, las oraciones
exclamativas, exhortativas o imperativas, las desiderativas y las exclamativas o admirativas no son proposiciones
porque ninguna de ellas afirma o niega algo, por lo tanto no son verdaderas ni falsas, as mismo las oraciones
dubitativas, as como los juicios de valor (a pesar de que afirman algo), no constituyen proposiciones, pues su
veracidad o falsedad no puede ser establecida.
Ejemplos:
Proposicin
Porque no es una proposicin
Viva la familia!
Exclamacin o admiracin
Est lloviendo?
Pregunta
Lvate la cara
Imperativa u orden
Pedro es muy malo
Juicio de valor
Debemos honrar a nuestros hroes
Exhortativa
Que tengas muy buen da
Desiderativa
Quiz llueva maana
Dubitativa
Toda proposicin es una oracin aseverativa (afirman algo), pero no toda oracin aseverativa es una
proposicin.
Ejemplos:
Eduardo es un nmero racional
La mesa es inteligente
X+ 3=5
A es la capital de Campeche
Todas las anteriores son ejemplos de expresiones aseverativas, pero no de proposiciones, son expresiones
lingsticas que tienen apariencia de proposiciones, pero que realmente no lo son porque no tiene sentido o no
se puede afirmar que son verdaderas o falsas.
En conclusin, para que una expresin sea proposicin debe cumplir con los siguientes requisitos:
Ser oracin.
Afirmar algo.
Ser bien verdadera o bien falsa

Variables proposiciones
Las proposiciones se representan mediante variables proposicionales simbolizadas con letras minsculas p, q,
r,...... que se denominan tomos.
Ejemplo:
p: Calkin es un municipio del estado de Campeche.
q: Un gobernador puede reelegirse segn la constitucin poltica mexicana.
De esta manera podemos decir que p puede ser verdadera o falsa dependiendo de alguna situacin, lo mismo
para q y as poder asignarle valores de verdad.
Estos smbolos pueden modificarse o combinarse mediante conectivos lgicos dando lugar a proposiciones
compuestas o moleculares.
NOTA:
Es recomendable utilizar minsculas para evitar confusiones con las maysculas que se utilizan en la
teora de conjuntos, y las primeras letras (a,b,c, etc) que se utilizan en geometra y trigonometra para
vrtices, por lo mismo no es recomendable utilizar esta notacin para nombrar las proposiciones, pero
tampoco est prohibida en algunos libros se manejan letras mayusculas.

Aurelio Lpez Ovando

LOGICA MATEMATICA

Unidad 1

Matemticas discretas

Conectivos Lgicos (Trminos de Enlace)

Son palabras y/o smbolos que enlazan proposiciones con el fin de construir un lenguajes (verbal o simblico)
ms amplio.
Los conectivos lgicos ms usuales son:
Simbolo

Palabra

(), []

Agrupacin

Nombre

No, no es cierto, not

Negacin

Y, and
O, or
0..0, xor
Si entonces
Si y solo si

Conjuncin
Disyuncin inclusiva, permite todos los casos.
Disyuncin exclusiva, permite solo uno de todos los casos.
Si condicional o implicacin
Bicondicional o implicacin doble

La jerarqua de las proposiciones son: negacin, conjuncin, disyuncin, implicacin, bicondicional y son
asociadas por la izquierda.
De esta manera sin nos encontramos ante la siguiente proposicin:

pq

El correcto para resolverlo sera para este caso:

1. Primero negamos r ( r )
2. Luego resolvemos la conjuncin (q q)
3. Por ltimo resolvemos la implicacin
Pero tiene mayor los signos de agrupacin, des esta manera, si nos encontramos con la proposicin:

(p q) r
1. Primero resolvemos la implicacin (p q)
2.
3.

Luego hacemos la negacin de r ( r )

Por ultimo la conjuncin.

Como podemos observar los operadores se colocan a la izquierda de la variable proposicional, siendo
incorrectos los siguientes ejemlos:
p
qr
Solo por mencionar algunos ejemplos, porque podran haber muchas combinaciones incorrectas.

Formulas bien formadas (wff)

A la combinacin de proposiciones y conectivos se la denomina frmula bien formada (well-formed formula,
wff). Una frmula bien formada puede ser una proposicin simple o compuesta que tiene sentido completo y
cuyo valor de veracidad, puede ser determinado.
Ejemplos:
[ p (p q)]
[( p q) (p

q;[p ( p
r)]
(q r)

q)]

No todas las formulas son bien formadas, si a una formula no se le puede dar un valor se dice que no es un
formula bien formada.
Aurelio Lpez Ovando

LOGICA MATEMATICA

Unidad 1

Matemticas discretas

Tablas de verdad
Son un instrumento empleado en la lgica proposicional, para indicar las diferentes interpretaciones de una
frmula y el resultado de las mismas. Representan de manera grfica todas las posibles combinaciones de los
valores de verdad que se formen de las proposiciones.
p
V
V
F
F

q
V
F
V
F

Sus valores pueden ser V (verdadero) o F (falso), 1 (encendido) o 0 (apagado), para

saber cuantas filas deben utilizarse se aplica la formula 2n donde 2 representa los
dos posibles valores que puede tomar y n es el nmero de proposiciones con las
que se forme la formula. (Este tema lo abundaremos mas adelante).

Proposiciones atmicas y moleculares

Las proposiciones pueden constar de un solo enunciado o de varios, en el primer caso las denominamos
proposiciones atmicas y en segundo moleculares.
Proposicin Atmica
Una proposicin es atmica cuando no posee conectivos lgicos. Son entonces las ms simples.
Ejemplos:
En el invierno hace frio.
Mxico est en crisis econmica.
Proposicin compuesta o molecular
Es una o ms proposiciones atmicas adecuadamente escritas, unidas con trminos de enlace.
Ejemplos:
En el invierno hace frio y en algunos lugares cae nieve.
Mxico est en crisis econmica si y solo si se devala la moneda.
No es difcil desarrollar un software.

Proposicin con forma Disyuntiva o Disyuncin

Una proposicin Disyuntiva, es aquella que est formada por proposiciones atmicas o moleculares, digamos p y
q, con el conectivo Lgico o. Se simboliza as: V, se escribe: p v q y se lee: p o q
Existen dos operadores de disyuncin: La disyuncin exclusiva o excluyente y la disyuncin inclusiva o
incluyente.
Disyuncin Inclusiva
Son dos o mas proposiciones de las cueles puedo elegir una o mas de una, se caracteriza por permitir
que las proposiciones que contiene sean todas verdaderas, as que se le llama tambin Incluyente.
A continuacin se presenta una tabla de los valores que puede tener la Disyuncin Inclusiva:
p
V
V
F
F

q
V
F
V
F

pvq
V
V
V
F

Supongamos que un pap le dice a su hijo llamado Juan:

Para que te deje ir al antro el fin de semana debes cumplir una de
estas dos condiciones: Traer 10 en tu examen de esta semana o
lavarme el coche todos los das desde el lunes hasta el viernes

El joven se encuentra ante dos situaciones que reflejaremos en las siguientes proposiciones:
p: Juan saca 10 en su examen semanal.
q: Juan lava el coche de su pap de lunes a viernes.
p v q: Juan saca 10 en su examen semanal o lava el coche de su pap de lunes a viernes.

Aurelio Lpez Ovando

LOGICA MATEMATICA

Unidad 1

Matemticas discretas

Debemos fijarnos que su pap le pidi cumplir con p o cumplir con q, significa que Juan puede cumplir
con una sola de estas tareas para poder ir al antro.
Las posibles situaciones en las que Juan se podra caer para ir al antro son:
Situaciones
Juan pudo sacar 10 en su examen y lav el coche todos los das.
Juan pudo sacar 10 en su examen, pero no pudo lavar el coche todos los das.
Juan no pudo sacar 10 en su examen, pero lav el coche todos los das.
Juan no pudo sacar 10 en su examen y tampoco lav el coche todos los das.

p
V
V
F
F

q
V
F
V
F

q
V
V
V
F

Con esto podemos ver que para que Juan no vaya al antro, tanto p como q deben ser falsas. La
disyuncin inclusiva entre dos proposiciones es falsa solo si ambas proposiciones son falsas.
Disyuncin Exclusiva
Son dos o mas proposiciones de las cueles puedo elegir solo una, no permite que las proposiciones que
contiene sean todas verdaderas, as que se le llama tambin excluyente.
La siguiente tabla muestra los posibles valores que puede tomar la disyuncin Excluyente:
p
V
V
F
F

q
V
F
V
F

p q
F
V
V
F

Supongamos que un pap le dice a su hijo llamado Juan:

Para poder seguir estudiando debes tomar la decisin de inscribirte en
Ing. en sistemas o en Ing. en mecatrnica, pero no en ambas

El joven se encuentra ante dos situaciones que reflejaremos en dos proposiciones:

p: Juan se inscribe en ing. en sistemas.
q: Juan se inscribe en ing. en mecatrnica.
p q: Juan se inscribe en ing. en sistemas o se inscribe en ing. en mecatrnica.
Nota
Frecuentemente y cuando no es claro en el contexto de la oracin se indica que una disyuncin es incluyente o
excluyente respectivamente, terminando la frase con o ambas o pero no ambas. Asi pudimos haber dcho:
Juan se inscribe en ing. en sistemas o se inscribe en ing. en mecatrnica, pero no en ambas.
En este caso Juan tiene ambas opciones y puede cumplir solo con una de ellas:
Situaciones
Juan se inscribe en ing. en sistemas y en ing. en mecatrnica
Juan solo se inscribe en ing. en sistemas.
Juan solo se inscribe en ing. en mecatrnica.
Juan no se inscribe en ningunas de las dos carreras

p
V
V
F
F

q
V
F
V
F

q
F
V
V
F

Las posibilidades de que Juan siga estudiando se reducen a pesar de tener dos opciones.

Aurelio Lpez Ovando

LOGICA MATEMATICA

Unidad 1

Matemticas discretas

Proposicin conjuncional o conjuncin

Una conjuncin de proposiciones es verdadera si y slo si cada una de ellas es verdadera. Basta que un solo
trmino de la conjuncin sea falso para que toda la conjuncin sea falsa. En espaol, normalmente la conjuncin
se expresa por medio de la y, de comas o de una combinacin de estas, o palabras como pero.
Se dice que una conjuncin es verdadera solamente cuando cada una de las proposiciones que la conforman son
verdaderas:
p
V
V
F
F

q
V
F
V
F

q
V
F
F
F

Supongamos que un pap le dice a su hijo llamado Juan:

Para que te deje ir al antro el fin de semana debes traer 10 en tu examen de
esta semana y lavarme el coche todos los das desde el lunes hasta el viernes

Juan se encuentra ante las mismas dos situaciones anteriores, que reflejaremos en dos proposiciones:
p: Juan saca 10 en su examen semanal.
q: Juan lava el coche de su pap de lunes a viernes.
Pero en este caso Juan debe cumplir con ambas proposiciones para poder ir al antro, ya que su pap utiliz
la conjuncin y:
Situaciones
Juan pudo sacar 10 en su examen y lav el coche todos los das.
Juan pudo sacar 10 en su examen, pero no pudo lavar el coche todos los das.
Juan no pudo sacar 10 en su examen, pero lav el coche todos los das.
Juan no pudo sacar 10 en su examen y tampoco lav el coche todos los das.

p
V
V
F
F

q
V
F
V
F

q
V
F
F
F

Las posibilidades de que Juan vaya al antro se reducen.

Proposicin con forma de Negacin

La negacin es una operacin unitaria que se aplica a una proposicin y tiene el efecto de revertir el valor de
verdad.
Se simboliza as: o con el smbolo , se escribe: p y se lee: No p; negacin de p; o, No es cierto que p,
esto es, si p es verdadera entonces p es falsa, y si p es falsa entonces p es verdadera.
Una proposicin de este tipo, puede estar formada por una proposicin atmica o molecular a diferencia de los
otros conectivos que afectan a mas de una, digamos p, con el conectivo Lgico No.
p
V
F

p
F
V

p: Juan va al antro
p: Juan no va al antro

O puede estar formado por una proposicin compuesta o molecular.

Ejemplo:
p
V
V
F
F

q
V
F
V
F

Aurelio Lpez Ovando

q
V
F
F
F

(p

q)
F
V
V
V

LOGICA MATEMATICA

En este caso la negacin afecta a toda una proposicin

compuesta

Unidad 1

Matemticas discretas

Ejercicio 1
a) Resuelva el siguiente cuestionario:
1.- Qu es una proposicin?
2.- Qu requisitos debe cumplir una expresin lingstica para que sea considerada una expresin?
3.- Qu expresiones lingsticas no constituyen un ejemplo de proposiciones?
4.- En base a lo anterior, explicar porque no son proposiciones.
5.- Qu clases de proposiciones hay y cuales son las diferencias entre ellas?

b) Analice las siguientes expresiones lingsticas e indique si son o no proposiciones:

1.- La constitucin poltica Mxico fue declarada y promulgada por la asamblea constituyente en 1917
2.- Quin es el pez gordo del narcotrfico?
3.- Sea bienvenido.
4.- Por fin lleg la primavera!
5.- Los nmeros racionales son inteligentes.
6.- Que tengan ustedes un buen viaje.
7.- Solo se que no se nada.
8.- Juan es bondadoso.
9.- No digas mentiras.
10.- Quiz existan miles de millones de universos.
11.- Los organismos superiores tienen pulmones porque necesitan respirar.
12.- x es la capital de Mxico.
13.- Los planetas del sistema solar a excepcin de Plutn ocupan el mismo plano con respecto al sol.
14.- El nmero 5 sonri.
15.- Los electrones son partculas que se encuentran alrededor del ncleo del tomo.

c) Diga si las proposiciones son atmicas o moleculares:

1. Osama y Bush son cuados
2. Toda inferencia inductiva es una inferencia en trminos de probabilidad.
3. Hace unos aos se consideraba la computadora como una gran calculadora, pero hoy se habla de
sus logros intelectuales.
4. El oxgeno no produce xido en presencia de metaloides.
5. Tanto la suma como la multiplicacin de nmeros naturales son asociativas.
6. Los peces son acuticos puesto que respiran por branquias.
7. La suma de los ngulos internos de un triangulo es igual a 180.
8. Gloria e Irene son de la misma edad.
9. El abuelo y la abuelita obsequiaron una mueca a su nieta.
10. A la composicin qumica de una sustancia en iones por la accin de la corriente elctrica se le llama
electrolisis.
11. Los trminos lenguaje objeto y metalenguaje no son absolutamente relativos.
12. Decir que la inteligencia es hereditaria es defender la idea de que nuestras facultades intelectules se
transmiten de padres a hijos casi de la misma manera que el color de los ojos.
13. La molcula de la azcar est compuesta por tomos de carbono, hidrgeno y oxgeno.
14. Jess, Mara y Jos en el portal de Belem.
15. No se puede pasar cuando el semforo est en rojo.

Aurelio Lpez Ovando

LOGICA MATEMATICA

Unidad 1

Matemticas discretas

d) Muestre las proposiciones de cada caso y sus posibles valores en una tabla de verdad y determine que tipo
de proposicin es (conjuncin, disyuncin exclusiva, disyuncin inclusiva, negacin):
1. En un restaurante se regala un postre despus de cada comida, pero solo se puede elegir uno entre
estos dos: Flan napolitano o gelatina mosaico.
2. Una tienda se tiene la siguiente promocin: En la compra de mas de $2000.00 pesos en artculos
deportivos se le hace el 50% de descuento sobre la compra.
3. Para ser merecedor de una beca un alumno debe contar con un promedio superior a 9.0 o
demostrar que los ingresos de sus padres son inferiores a $1500.00 mensuales.
4. Para poder ingresar el ejercito un aspirante no debe tener tatuajes y ni padecer ninguna
enfermedad contagiosa.

e) De la siguiente afirmacin Andrs es padre de Bernardo y ste es padre de Cecilia se obtienen las siguientes

proposiciones:
p : Andrs es descendiente de Bernardo
q : Bernardo es descendiente de Andrs
r : Cecilia es descendiente de Bernardo
s : Cecilia es descendiente de Andrs
Asignar los valores a las siguientes formulas de las tablas de verdad y explicar porque:
Proposicin
Valor Porque
p
q
p
q
p
q V p
p
q
p
q

Aurelio Lpez Ovando

LOGICA MATEMATICA

Unidad 1