1

Lgica Matemtica
INTRODUCCIN A LA LGICA MATEMTICA
En la filosofa para determinar si un razonamiento es

La lgica estudia la forma del razonamiento, es una

disciplina que por medio de reglas y tcnicas determina si
un argumento es vlido.

vlido o no, ya que una frase puede tener diferentes

interpretaciones, sin embargo la lgica permite saber el
significado correcto.
En las matemticas para demostrar teoremas e inferir

La lgica es ampliamente aplicada en la filosofa,

resultados matemticos que puedan ser aplicados en

matemticas, computacin,... etc.

investigaciones.
En la computacin para revisar programas.

En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por ejemplo;
para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha
tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no
prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene
pintado, tambin dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o de derecha a izquierda segn el caso,
todo esto es la aplicacin de la lgica.

La lgica es muy importante; ya que permite resolver problemas a los que nunca se ha
enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de
conocimientos acumulados, pudiendo obtener nuevos inventos e innovaciones a los ya
existentes o simplemente utilizacin de los mismos.

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 1

Bloque 1

Lgica Matemtica
DESARROLLO DE LA LGICA

La lgica matemtica es la disciplina que trata de mtodos de razonamiento. En un nivel elemental, la lgica proporciona
reglas y tcnicas para determinar si es o no valido un argumento dado. El razonamiento lgico se emplea en
matemticas para demostrar teoremas; en ciencias de la computacin para verificar si son o no correctos los
programas; en las ciencias fsica y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la
vida cotidiana, para resolver una multitud de problemas. Indudablemente se usa en forma constante el razonamiento
lgico para realizar cualquier actividad.

PROPOSICIONES
Ejemplo.
p : La tierra es plana.
Una proposicin o enunciado es una oracin que puede ser falso
o verdadero pero no ambas a la vez.
La proposicin es un elemento fundamental de la lgica
matemtica.

q : 17 38 21

r: x y7
s : El Morelia ser campen.
t : Hola Cmo ests?

w : Lava el coche por favor.

Los casos p y q sabemos que pueden tomar un valor de falso o verdadero; por lo tanto son proposiciones vlidas. El caso r
tambin es una proposicin valida, aunque el valor de falso o verdadero depende del valor asignado a las variables x y y en
determinado momento. El caso s tambin est perfectamente expresado aunque para decir si es falsa o verdadera se tendra que
esperar a que terminara la temporada de ftbol. Sin embargo los enunciados t y w no son vlidos, ya que no pueden tomar un
valor de falso o verdadero, uno de ellos es un saludo y el otro es una orden.

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 2

Bloque 1

Lgica Matemtica
CONECTIVOS LGICOS Y PROPOSICIONES COMPUESTAS.

Existen conectores u operadores lgicos que permiten formar proposiciones compuestas (proposicin formada por varias
proposiciones).
Los operadores o conectores bsicos son:
Su funcin es negar la proposicin y se
representa mediante:
El smbolo .
El smbolo .
Un apostrofe o comilla

OPERADOR NOT
(Negacin)

TABLA DE VERDAD
p
p

Ejemplo. Sea la proposicin

p : Est lloviendo en este momento.

Valor de verdad
_____

Entonces

_____

p : No est lloviendo en este momento.

OPERADOR AND
(Conjuncin)

Ejemplo

Se utiliza para conectar dos proposiciones.

Se representa mediante:
El smbolo .
El smbolo

Un punto
La letra y
Se le conoce como la multiplicacin lgica.

TABLA DE VERDAD
q
pq

El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batera

Sean:
p : El coche enciende.
q : Tiene gasolina el tanque.
r : Tiene corriente la batera.
La representacin del enunciado anterior usando simbologa lgica es:
p qr

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 3

Bloque 1

Lgica Matemtica

OPERADOR OR
(Disyuncin)

Ejemplo

Se utiliza para conectar dos proposiciones.

Se representa mediante:
El smbolo
El smbolo

El signo +.
La letra o.
Se le conoce como la suma lgica.

TABLA DE VERDAD
q
pq

Una persona puede entrar al cine si obtiene un pase o compra su boleto

Sean:
p : Entrar al cine.
q : Obtener un pase.
r : Comprar su boleto.
La representacin del enunciado anterior usando simbologa lgica es:
p qr

En este momento ya se pueden representar con notacin lgica enunciados ms complejos.

Ejemplo:

Sea: p : Hoy hay examen.

q : Tengo que estudiar lgica.

r : Aprobar el curso.

Hoy hay examen y tengo que estudiar lgica o no aprobar el curso

Se representa simblicamente como: _________________________.

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 4

Bloque 1

Lgica Matemtica

PROPOSICIONES CONDICIONALES
Una proposicin condicional es aquella proposicin compleja cuya conectiva dominante es el condicional. En matemticas se suele
utilizar muy frecuentemente la proposicin <<Si p entonces q >>. Tales proposiciones se llaman condicionales.

PROPOSICIN
CONDICIONAL
(Implicacin)

Ejemplo

Est formada por dos proposiciones simples

(o compuestas) p y q se indica de la

siguiente manera:

pq

Se lee:
Si p entonces q
p implica q

TABLA DE VERDAD
q
pq

Si soy electo presidente de la Repblica recibirn un aumento en su sueldo el prximo ao

Sean:
p : Sali electo Presidente de la Repblica.
q : Recibirn un aumento en su sueldo el prximo ao.
As, el enunciado se puede expresar de las siguiente manera:
pq

Otra proposicin que se presenta con frecuencia es de la forma p si, y solamente si, q que se abrevia p ssi q .

PROPOSICIN
BICONDICIONAL

Ejemplo

Est formada por dos proposiciones simples

(o compuestas) p y q se indica de la

siguiente manera:

pq

Se lee:
p si y solo si q

TABLA DE VERDAD
q
pq

Es buen estudiante, si y solo s; tiene promedio de diez

Sean:
p : Es buen estudiante.
q : Tiene promedio de diez.
As, el enunciado se puede expresar de las siguiente manera:
pq

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 5

Bloque 1

Lgica Matemtica
EJERCICIOS

1.

De los siguientes enunciados, determina cuales son proposiciones e indique si son atmicas (simples) o compuestas.
a) Es primavera.
b) Los gatos y los perros son mascotas.
c) Juan es amigo de Pedro?
d) Dos es mayor que tres.
e) Algunos estudiantes estudian y aprueban.
f) Si llueve y hace sol sale el arco iris.
g) Cierra la puerta
h) O vienes o te quedas.
i) El cielo es azul y los campos son verdes.

2. Escribe con las conectivas y smbolos de la lgica proposicional las siguientes proposiciones.
a) A pesar de que el coche no aceler, hubo un accidente.
b) Tiene coche y, sin embargo, no sabe conducir.
c) Si no vienes ya, nos vamos a desayunar.
d) Slo nos vamos a desayunar si no vienes ya.
e) Si no vienes, jugaremos al baloncesto, slo si viene Jos y el rbitro se presenta o manda a un sustituto.
f) Juan canta slo si est contento.
g) Si Juan est contento, entonces canta.
h) Juan canta si est contento y est contento si canta.
i) Mara estudiar durante todo el verano si no aprueba lgica ni programacin.
j) Si Mara aprueba lgica har una fiesta y sino estudiar durante el verano.
3. Supongamos que cuatro personas, Pepe, Quimo, Raquel y Sonia van al cine y optan entre dos pelculas. Formaliza los siguientes
enunciados usando las letras de proposicin que indicamos:
p : Pepe ve la pelcula de vaqueros.
q : Quimo ve la pelcula de vaqueros.

r : Raquel ve la pelcula de vaqueros.

s : Sonia ve la pelcula de vaqueros.
a) Si Pepe o Raquel ven la pelcula de vaqueros, entonces Sonia no es la nica que ve la misma pelcula que Pepe.
b) Solo si Raquel no ve la misma pelcula que Sonia, Pepe y Quimo ven la pelcula de vaqueros.
c) Quimo y Sonia no ven la pelcula de vaqueros a menos que Sonia, Raquel y Pepe vean la misma pelcula.
4. Encuentre la negacin de las expresiones siguientes:
a) Jpiter es un planeta.
b) El pizarrn es verde.
c) El nmero real x es negativo.
d) Ningn pez respira fuera del agua.
e) Todos los leones son feroces.
Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 6

Bloque 1

Lgica Matemtica

5. Dadas las siguientes proposiciones.

a : Elizabeth cumple con sus obligaciones.
b : Elizabeth aprueba el examen.
c : Elizabeth se va de vacaciones.
d : Elizabeth trabaja.
Traducir literalmente las siguientes proposiciones:
a)

c d :

b) b c d :
c) b c d :
d) a b c d :

6. Encuentre la traduccin al lenguaje formal de la proposicin

Si t eres inteligente y no actas con prudencia, eres un ignorante en la materia
Siendo las proposiciones:
p : T eres inteligente.
q : T actas con prudencia.

r : T eres un ignorante en la materia.

7. Sean las proposiciones:

a : Hoy es mircoles.
b : Tengo que hacer un examen.
c : He estudiado.
d : Saldr mal del examen.
Encuentre la traduccin al lenguaje formal de la proposicin:
Hoy es mircoles y tengo que hacer un examen, pero s he estudiado entonces no saldr mal en el examen

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 7

Bloque 1

Lgica Matemtica

TABLAS DE VERDAD
Una tabla de verdad, o tabla de valores de verdad, es una tabla que despliega el valor de verdad de una proposicin compuesta,
para cada combinacin de valores de verdad que se pueda asignar a sus componentes.
En la elaboracin de una tabla de verdad es necesario determinar el nmero de renglones y columnas de la tabla; el nmero de
reglones depende del nmero de proposiciones simples de la expresin y el nmero de columnas depende de las proposiciones y
los conectores lgicos incluidos en la expresin lgica en cuestin.

No. reglones = 2n
Donde n = nmero de proposiciones simples.

No. de columnas
Una columna por cada proposicin.
Una columna por cada conector lgico

Ejemplo: Realizar la tabla de verdad para la proposicin p q q ' r r q

p
q r q pq
qr
(pq) (qr) rq [(pq) (qr) (rq)

No. reglones = 2n
23 8

No. De Columnas
3 proposiciones, 1 negacin, 1 disyuncin, 1 conjuncin, 2 condicionales y 1 bicondicional.

TAUTOLOGA, CONTRADICCIN Y EQUIVALENCIA LGICA

TAUTOLOGA.

CONTRADICCIN.

EQUIVALENCIA LGICA

Es aquella proposicin (compuesta) que es verdadera para todos los valores de verdad de sus
proposiciones simples.
Es aquella proposicin (compuesta) que es falsa para todos los valores de verdad de sus
proposiciones simples.
Dos proposiciones son lgicamente equivalentes, si coinciden sus resultados para los mismos valores
de verdad.
Se indican p q .

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 8

Bloque 1

Lgica Matemtica
EJERCICIOS

1.

Indique si las siguientes proposiciones son tautologas o contradicciones.

a) p q r p r q q
b) p q r p q r
c) p q p r q q

2. Determine el valor de verdad de cada una de las siguientes proposiciones.

a) No es verdad que: 2+7=9; si y slo si 2+1=5; entonces 5+5=8
b) Si 4+4=8; entonces no es verdad que 2+1=3 y 5+5=10
3. Indique el valor de verdad de cada una de las siguientes proposiciones cuando:
p: verdadera; q: verdadera; r: falsa
a)

p q r p q r

b)

p q r p q p r

4. Considere el siguiente argumento:

Si trabajo o ahorro, entonces comprar una casa. Si compro una casa, entonces podr guardar mi auto en mi casa.
Por consiguiente, si no puedo guardar el auto en mi casa, entonces no ahorro
a) Escriba el argumento en lenguaje simblico.
b) Pruebe la validez del argumento. (use tabla de verdad).

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 9

Bloque 1

Lgica Matemtica

CUANTIFICADORES
PROPOSICIN ABIERTA
Ejemplo:

Es un enunciado declarativo que depende de una o ms variables dentro de un universo de discurso,

de modo que se convierte en una proposicin para cada valor o reemplazo de la variable.

x 7.
l es abogado.
y | y es un entero.

Las sentencias mostradas en el ejemplo anterior no pueden ser comprobadas ni refutadas. Sin embargo, cuando asignamos
valores a estas variables el valor de verdad puede ser conocido. Tales declaraciones cuyos valores de verdad dependen de los
valores que tengan las variables se conocen como predicados.
Es importante observar que en lgica proposicional una variable toma valores (falso, verdadero)
y en lgica de predicados una variable toma valores de un universo de discurso U
Las variables x1; x2 ; ; xn en P x1; x2 ; ; xn son llamadas variables libres del predicado. Por consecuencia, el valor de
verdad del predicado P x1; x2 ; ; xn varia conforme x1; x2 ; ; xn asumen valores en U
Ejemplo:

P x : x | x . es abogado.

Q y : y | y es hombre.

Podramos formar un predicado P x Q y y asignando un valor se convierte a

una proposicin del tipo P Juan Q Pedro .
Frecuentemente nos encontramos con proposiciones abiertas descritas de la manera siguiente:

Algunos programadores son inteligentes.

Todos los municipios tienen escuelas pblicas.

Existe un nmero impar que no es primo.

Cada declaracin conlleva una asercin comn a algunos objetos que pertenecen a un universo. Puesto que las declaraciones para
todos y existe (o para algn) no estn disponibles en lgica proposicional, ninguna de estas declaraciones puede ser escrita en
forma lgica. Cuando agregamos smbolos para estas declaraciones junto con las reglas de uso en lgica proposicional, obtenemos
lgica de predicados.

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 10

Bloque 1

Lgica Matemtica
CUANTIFICADOR UNIVERSAL

El cuantificador universal es utilizado para crear una proposicin xP x leda como:

para todo x , P x es verdadero".
Esta proposicin es verdad si y slo si P x es verdad para cada x en un universo U .

CUANTIFICADOR EXISTENCIAL
El cuantificador existencial es usado para formar una proposicin xP x leda como:
existe un x tal que P x es verdadero" o para algn x , P x es verdadero".
Esta proposicin es verdad si y slo si P x es verdad para al menos un x en U .

PROPIEDADES DE LOS CUANTIFICADORES

Los cuantificadores del mismo tipo pueden ser intercambiados y combinados sin cambiar el valor de verdad de las declaraciones:

xyP x, y yxP x, y x, y P x, y
xyP x, y yxP x, y x, y P x, y
Pero esto no puede ser hecho con cuantificadores de diferentes tipos.

ESCRITURA DE DECLARACIONES
Una sentencia que afirma que todo bajo cierta categora tiene una propiedad se traduce como:
x
Donde el antecedente es una proposicin verdadera nicamente si se cumple el criterio de la categora.
Ejemplo. Si queremos expresar: Todas las manzanas son malas" escribiramos x A x B x
Una sentencia que afirma que algn objeto u objetos bajo cierta categora tienen una propiedad se traduce como:
x
Ejemplo. Si queremos expresar Algunas manzanas son malas" se escribe como x A x B x

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 11

Bloque 1

Lgica Matemtica
EJERCICIOS.

Utilizando los cuantificados lgicos represente las siguientes expresiones simblicamente.

1.

Hay cisnes negros.

2. Existen animales carnvoros.

3. Hay nmeros perfectos.
4. Existen ciudades de clima fro.
5. Todos los nevados son colombianos.
6. Hay cetceos que son peces.
7. Todos aprobamos el curso y disfrutamos las vacaciones.
8. Todo cetceo es un pez.
9. Toda hormiga es un insecto.
10. Todos los alumnos han estudiado programacin.

11. No todos son alumnos.

12. Cada estudiante tiene una computadora o tiene al menos un amigo que tiene una computadora.
13. Existen climas absolutamente fros y donde no se puede vivir.
14. Nadie es eterno en el mundo
15. Ningn limn es dulce
16. Ningn gato es canino
17. Todos los caballos son cuadrpedos.
18. Existen hombres sabios.
19. No existen jvenes perezosos.
20. Para Todos los x se cumple que si se puede escuchar, se puede cantar y tocar.

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 12

Bloque 1

Lgica Matemtica
NEGACIN EN LOS CUANTIFICADORES

Sea P un predicado no cuantificado en x , entonces:

xP x x P x
xP x x P x

Entonces, para negar una funcin proposicional cuantificada universalmente se cambia el cuantificador existencial, y se niega la
funcin proposicional, similarmente, para negar una funcin proposicional cuantificada existencialmente se cambia el cuantificador
universal, y se niega la funcin proposicional.
Ejemplo:

Todos los alumnos de mi colegio son aplicados

(Escribirla en lenguaje simblico, negarla y retraducir la negacin al lenguaje ordinario)

Solucin. Podemos observar que se trata de la implicacin de dos funciones proposicionales:

p x : Es alumno de mi colegio.
q x : Es aplicado.
Entonces podemos escribirla como: x p x q x
Teniendo en cuenta la forma de negar una funcin proposicional cuantificada universalmente y una implicacin resulta:

x p x q x
Y traduciendo al lenguaje ordinario resulta: Existen alumnos de mi colegio que no son aplicados.

EJERCICIOS.
Escribir en lenguaje simblico, negarla y retraducir la negacin al lenguaje ordinario las siguientes proposiciones:
a) Todos los hombres son estudiantes
b) Existen nmeros enteros pares que son divisibles entre 3
c) Todos los metales son buenos conductores del calor
d) Algunos nmeros primos no son impares

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 13

Bloque 1

Lgica Matemtica
EJERCICIOS ADICIONALES DE PROPOSICIONES LGICAS Y CONECTORES

1.

Determine cules de las siguientes expresiones del idioma son proposiciones lgicas.
a) Coln descubri Amrica en mircoles.
b) 2 + 2 = 5.
c) Esprame un momento.
d) Estudien mucho.
e) x + 1 < 4.
f) Estoy mintiendo.
g) Todos los pericos son verdes.
h) La mesa es de color rojo.
i) Un ngulo recto mide 90 grados.
j) 2 + x2 = 8 3x.

2. Niegue las expresiones siguientes

a) Algunos peces pueden nadar.
b) El agua es transparente.
c) Mxico est en Amrica.
d) La mesa es azul.
e) Todos los das hace calor.
f) Ningn oso polar tiene fro.
g) Algn sabio no toma caf.

3. Analiza los siguientes enunciados o proposiciones:

p : "Llueve"
q : "Hace sol"

Escribe con las conectivas y smbolos de la lgica proposicional las siguientes proposiciones.
a) Llueve y hace sol.
b) Llueve y no hace sol.
c) Llueve o hace sol.
d) Si no llueve, hace sol.
e) No es cierto que llueva.
f) No es cierto que no llueva.
g) Har sol si y slo si no llueve.

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 14

Bloque 1

Lgica Matemtica

4. Analiza los siguientes enunciados o proposiciones:

p : "Las estrellas emiten luz"
q : "Los planetas reflejan la luz

r : "Los planetas giran alrededor de las estrellas"

Escribe con las conectivas y smbolos de la lgica proposicional las siguientes proposiciones.
a) Si las estrellas emiten luz, entonces los planetas la reflejan y giran alrededor de ellas.
b) Las estrellas emiten luz o los planetas la reflejan y, por otra parte, los planetas giran alrededor de ellas.
c) Los planetas reflejan luz si y slo si las estrellas la emiten y los planetas giran alrededor de ellas.
d) Si no es cierto que las estrellas emiten luz y que los planetas la reflejan, entonces stos no giran alrededor de ellas.
5. Analiza los siguientes enunciados o proposiciones:
p : "Pablo atiende en clase"
q : " Pablo estudia en casa

r : "Pablo fracasa en los exmenes"

s : "Pablo es aplaudido"
Escribe con las conectivas y smbolos de la lgica proposicional las siguientes proposiciones.
a) Si Pablo no atiende en clase o no estudia en casa, fracasar en los exmenes y no ser aplaudido.
b) Si no es el caso que Pablo atiende en clase y estudia en casa, entonces fracasar en los exmenes o no ser aplaudido.
c) Pablo atiende en clase y estudia en casa o, por otra parte, fracasa en los exmenes y no es aplaudido.
d) nicamente si Pablo atiende en clase y estudia en casa, no se dar que fracase en los exmenes y no sea aplaudido.

6. Otorga, ordenadamente, variables proposicionales a las diferentes oraciones de cada caso.

a) "Si escoges tus deseos y tus miedos, no existir para t ningn tirano". Epicteto
b) "Quin tiene un porqu para vivir puede soportar cualquiera como". Nietzsche
c) "El mundo entero es un escenario y todos los humanos somos unos actores". Shakespeare
d) "Cuando uno no tiene imaginacin, la muerte es poca cosa; cuando uno la tiene, la muerte es demasiado". Cline

Facultad de Informtica Culiacn

Lic. Roy

Jonny Sida Lpez 15