INSTITUTO DE COMPUTACION DR.

RODOLFO ROBLES
CURSO: LOGICA MATEMATICA
GRADO: 4º BACHILLERATO
PROF.: P.E.M JOSE LUIS MONZON

UNIDAD I
CONTENIDO:
 ENUNCIADOS Y VALOR DE VERDAD
 PROPOSICIONES SIMPLES Y COMPUESTAS
 TABLAS DE VERDAD

Nombre: ________________________________

No. Clave:_____

Lógica Matemática
1 Unidad I
 ENUNCIADOS Y VALOR DE VERDAD
La lógica es la rama del conocimiento que trata los métodos de razonamiento
mediante reglas y técnicas, con el fin de determinar si un argumento es valido. El tema
que nos ocupa es el de la lógica usada en matemática. Iniciaremos con los elementos
básicos llamados proposiciones.

PROPOSICION
Definición: Es un enunciado u oración declarativa de la cual se puede afirmar
que es falsa o verdadera, pero no ambas a la vez.

La veracidad o falsedad de una proposición es lo que se llama su valor de verdad.

Ejemplo 1
La expresión:
“La Tierra es un planeta”

Es una proposición. Puede notarse que su valor de verdad es verdadero, ya que se

tiene la certeza que la Tierra es un planeta.

Ejemplo 2
La expresión:
“6 + 2 > 5”

Que se lee “seis más dos es mayor que 5”, es una proposición con valor de verdad
verdadero.

Ejemplo 3
La expresión:
“Guatemala es un país de Norte América”

Es una proposición, donde puede notarse que su valor de verdad es falso, porque
Guatemala se encuentra ubicada en Centro América.

Ejemplo 4
La expresión:
“¿Habla usted ingles?”

No es una proposición, porque no es un enunciado declarativo sino interrogativo.

En general las expresiones imperativas, interrogativas, admirativas o frases no son
proposiciones porque no se puede establecer su valor de verdad.
Las siguientes expresiones no son proposiciones:
“tome dos aspirinas” (imperativo)
¡Auxilio! (Admirativo)
¿Cuándo fue su cumpleaños? (Interrogativo)
El colegio (frase)

Lógica Matemática
2 Unidad I
EJERCICIO No.1
Instrucciones: A continuación aparecen una serie de expresiones. Escriba si son o no
proposiciones. Si son proposiciones escriba su valor de verdad y si no escriba si se
trata de una expresión admirativa, interrogativa, imperativa o frase.

1) El rojo es un color secundario 16) Todo hombre es mortal

2) Atitlan es un lago de Sololá 17) El azúcar no es dulce
3) Albert Einstein fue un famoso 18) Toda habilidad requiere practica
músico 19) La memoria ram no es temporal
4) El 15 es un numero primo 20) La computadora
5) 20 es múltiplo de 4 21) ¿Dónde esta el piloto?
6) ¿Cuándo iras al cine? 22) Un Megabyte tiene 1000000 de
7) Miguel Ángel Asturias gano el bytes.
premio Nobel de Medicina 23) 25 es igual a 32
8) La raíz cubica de 64 es 4 24) 7 es un numero racional
9) Corre velozmente 25) Estudia medicina
10) ¡Que bonito día! 26) El verde es un color secundario
11) Paris es la capital de Francia 27) 3 es divisor de 30, 57 y 111
12) ¿Dónde estudias? 28) El volcán de Agua se encuentra en
13) El quetzal es un símbolo patrio el departamento de Guatemala
14) 5 + 10 < 15 29) El programa Word es un
15) El numero 6 tiene 4 divisores. procesador de palabras
30) El numero -15 es menor que 0.

Ejercicio No. 2
INSTRUCCIONES: Escriba lo que se le indica:

a) 10 proposiciones verdaderas.
b) 10 proposiciones falsas
c) 10 expresiones que no se consideren proposiciones.

TIPOS DE PROPOSICIONES
Las proposiciones pueden ser:
 Simples ó
 Compuestas

Proposición simple:
Es aquella expresión oral o escrita que indica un solo hecho, indistintamente que
sea verdadero o falso.
Ejemplo 5:
Las siguientes expresiones representan proposiciones simples, entre paréntesis
aparece su valor de verdad.

1) El año tiene 12 meses. (v)

2) La lluvia es importante para la agricultura. (v)
3) Fumar es dañino para la salud. (v)

Lógica Matemática
3 Unidad I
 4) La Luna es un planeta (f)
5) √ (f)

Cuando se manejan operaciones con las proposiciones, estas se pueden representar

por medio de letras o variables. Regularmente se utilizan las letras p, q, r y s.
La proposiciones “Los planetas giran alrededor del Sol” y “El perro es un animal
domestico”, puede representarse respectivamente como:

p: Los planetas giran alrededor del Sol.

q: El perro es un animal domestico.

Proposición compuesta:
Es la expresión oral o escrita que se forma con dos o más proposiciones simples
indistintamente que sean falsas o verdaderas.

Ejemplo 6
Las siguientes expresiones representas proposiciones compuestas:
1) Petén es departamento de Guatemala y Sonsonate es departamento de El
Salvador.

2) Pedro nació en Cobán entonces Pedro es guatemalteco.

3) Cinco es la raíz cuadrada de veinticinco, si y solo si el cuadrado de cinco es

veinticinco.

4) Luis se fue a trabajar o Luis se quedo en casa.

CONECTIVOS LOGICOS O PROPOSICIONALES

Los conectivos lógicos son símbolos o expresiones que se usan para unir
proposiciones simples. Estos son:

a) CONJUNCION.
Se representa con el símbolo . Se lee “y”

b) DISYUNCION INCLUSIVA (o)

Se representa con el símbolo . Se lee “o”.
c) DISYUNCION EXCLUSIVA (o)
Se representa con el símbolo  . Se lee “o”.
d) IMPLICACION.
Se representa con el símbolo. Se lee “si entonces…”

e) DOBLE IMPLICACION O EQUIVALENCIA.

Se representa con el símbolo. Se lee “si y solo si….”.

Lógica Matemática
4 Unidad I
 f) NEGACION
No representa propiamente un conectivo lógico. Se representa con el símbolo .
La negación cambia el valor de verdad de una proposición.

El uso de literales en lugar de las proposiciones se justifica cuando cada

proposición se usa varias veces.

Ejemplo 7
Dadas las proposiciones:
p: María gano matemática
q: María fue al cine
r: Brasil es campeón mundial de futbol.
s: María estudio matemática
t: Brasil ganó la final de futbol.

Escribir en forma simbólica las siguientes proposiciones compuestas:

1) María estudio matemática o María fue al cine

p  q
2) Brasil no gano la final de futbol
t
3) María fue al cine entonces María no estudio matemática
q  s
4) Brasil gano la final de futbol y es campeón mundial.
t  r
5) Brasil es campeón mundial de futbol si y solo si ganó la final.
rt
6) María fue al cine y no estudio matemática.
q  s
Ejercicio No. 3

INSTRUCCIONES: Dadas las siguientes proposiciones:

p: Luis es ingeniero
q: Estudiaré matemática
r: Estoy de buen humor
s: Iré al cine.
t: María estudia medicina
u: Compraré un auto
v: Iré al supermercado

Escriba en lenguaje simbólico los siguientes enunciados:

1) “Si no estoy de buen humor, entonces iré al cine”

2) “No iré al cine y estudiaré matemática”
3) “María estudia medicina y Luis no es ingeniero”
4) “Iré al cine si y solo si estoy de buen humor”

Lógica Matemática
5 Unidad I
 5) “María no estudia medicina”
6) “Iré al supermercado o iré al cine”
7) “Si estoy de buen humor entonces estudiaré matemática”
8) “No comprare un auto y no estudiare matemática”
9) “Si Luis estudia medicina entonces compraré un auto”
10) “Si estoy de buen humor entonces compraré un auto y no iré al supermercado”

Ejercicio No. 4
INSTRUCCIONES: Escriba cada una de las proposiciones en forma simbólica.
1) “Luis es estudiante y Juan es zapatero”
2) “El domingo es un día feriado o José ha sido expulsado”
3) “Si 2 + 2 = 4, entonces 3 + 3 = 8”
4) “O 3+4 = 7 o la Tierra es plana”
5) “Antonio es hijo de Luis si y sólo si Luis es el padre de Antonio”
6) “Si los cuadrados tienen tres lados, entonces los triángulos tienen cuatro lados”
7) “Si x es un numero par o y es un número impar entonces x*y es un numero par”
8) “Jorge no estudio en la universidad entonces Jorge no es un profesional”
9) “La computadora esta en oferta si y solo si el comprador paga en efectivo o el
comprador paga con tarjeta de débito”
10) “La raíz cuadrada de 9 es 3 si y solo si 32 = 9

TABLAS DE VERDAD
Una forma ordenada de presentar las proposiciones compuestas y sus posibles
valores de verdad, es a través de las tablas de verdad. Están formadas por letras que
representan las proposiciones, los conectivos proposicionales y los símbolos de verdad.

Los valores de verdad posibles va a depender del número de proposiciones que

contenga la proposición compuesta. La expresión 2n no da como resultado el número
posible de valores de verdad, donde “n” representa el número de proposiciones. Si
tenemos 2 proposiciones (p y q), el número posible de valores de verdad seria:
22 = 2x2 = 4

Ordenadamente en una tabla de verdad, tendríamos lo siguiente:

p q
v V Ambas proposiciones son verdaderas
v F La primera proposición es verdadera y la segunda es falsa
F V La primera proposición es falsa y la segunda es verdadera
F F Ambas proposiciones son falsas.

Si fueran 3 proposiciones (p,q y r), el numero posible de valores de verdad seria:

23 = 2x2x2 = 8

Lógica Matemática
6 Unidad I
 La distribución de los valores de verdad en este caso, seria:
p q r
v v v
v v f
v f v
v f f
f v v
f v f
f f v
f f f

OPERACIONES LOGICAS
Reglas de los conectivos:
Los conectivos nos permiten unir proposiciones simples. Al hacerlo se dice que
estamos operando en lógica simbólica. Las tablas de verdad permiten visualizar los
valores de verdad correspondientes. Las operaciones básicas de cada conectivo y sus
correspondientes reglas en tablas de verdad se muestran y se explican a continuación.

1) NEGACION ()
Aunque ya se menciona que no es un conectivo, la negación cambia el valor de
verdad de una proposición.

P P
V F
F V

2) CONJUNCION ()
Consiste en unir 2 proposiciones p, q con el conectivo “y”. De manera que pq
se lee: “p y q”.
Para determinar la regla de este conectivo, iniciaremos con el siguiente
enunciado:
“El curso de matemática se aprueba sabiendo la teoría y dominando la
practica”
Y las proposiciones simples:
p: Juan sabe la teoría de matemática
q: Juan domina la práctica de matemática.

Visualizando la tabla de verdad

P Q P  Q
V (sabe la teoría) V(domina la practica) V (aprueba)
V (sabe la teoría) F(no domina la practica) F (no aprueba)
F(no sabe la teoría) V (domina la practica) F (no aprueba)
F(no sabe la teoría) F(no domina la practica) F(no aprueba)

La proposición P  Q es verdadera si sabe la teoría y domina la práctica.

Lógica Matemática
7 Unidad I
 Conclusión:
P Q P  Q
V V V
V F F
F V F
F F F

“La conjunción solamente es verdadera cuando las dos proposiciones

son verdaderas”

3) DISYUNCION INCLUSIVA ()

Consiste en unir 2 proposiciones p,q con el conectivo “o”. De manera que pq
se lee “p o q”.
Para determinar la regla de este conectivo, iniciaremos con el siguiente
enunciado:
El profesor de Artes Plásticas dice:
“El curso se aprueba haciendo un dibujo o pintando un cuadro”.
Y se tienen las 2 proposiciones:
P: Juan hace un dibujo
Q: Juan pinta un cuadro.
Visualizando la tabla de verdad:
P Q P  Q
V (hace un dibujo ) V (pinta un cuadro) V (aprueba)
V (hace un dibujo) F (no pinta un cuadro) V (aprueba)
F (no hace un dibujo) V (pinta un cuadro) V (aprueba)
F (no hace un dibujo) F (no pinta un cuadro) F (no aprueba)

Conclusión:
La disyunción indica una cosa o la otra, hacer las dos no afecta, pero no hacer
ninguna si.
P Q P  Q
V V V
V F V
F V V
F F F

“La disyunción es verdadera cuando al menos una de las proposiciones

sea verdadera.”

4) CONDICIONAL ()
Consiste en unir dos proposiciones con el conectivo “Si… entonces…”. De manera
que p q se lee “Si p entonces q”, también es valido leer “p implica q”. Esto es
porque la operación condicional también recibe el nombre de implicación.
p: Ana tiene sed.
q: Ana bebe una limonada.

Lógica Matemática
8 Unidad I
 P Q explicación P Q
V V Si Ana tiene sed, entonces Ana bebe una limonada. V
V F Si Ana tiene sed, entonces Ana no bebe una limonada F
F V Si Ana no tiene sed, entonces Ana bebe una limonada V*
F F Si Ana no tiene sed, entonces Ana no bebe una V
limonada

*Es valor de verdad puede causar alguna duda, sin embargo si Ana no tiene sed
queda libre de beber una limonada, por ejemplo a la hora del almuerzo. La
expresión no dice que beberá limonada sólo si tiene sed dice que si tiene sed
beberá una limonada.
Conclusión:
P Q P Q
V V V
V F F
F V V
F F V

“La implicación tendrá un valor de falso si la primera proposición es

verdadera y la segunda falsa, en los demás casos es verdadera”

5) DOBLE IMPLICACION O BICONDICIONAL ()

Consiste en unir dos proposiciones p,q con el conectivo “si y solo si”. De manera
que p  q se lee “p si y solo si q”.
Para determinar la regla de este conectivo, iniciaremos con el siguiente
enunciado:
En la universidad de San Carlos para graduarse de ingeniero es requisito ganar el
examen privado.
Se tienen las proposiciones:
p: Luis se graduó de ingeniero.
q: Luis gano el examen privado de ingeniería.

P Q explicación PQ
V V Luis se graduó de ingeniero si y solo si gano el examen V
privado.
V F Luis se graduó de ingeniero si y solo si no gano el F
examen privado.
F V Luis no se graduó de ingeniero si y solo si gano el F
examen privado.
F F Luis no se graduó de ingeniero si y solo si no ganó el V
examen privado.

Conclusión:
P Q PQ
V V V
V F F
F V F
F F V
Lógica Matemática
9 Unidad I
“La doble implicación será verdadera cuando las dos proposiciones sean
verdaderas o las dos sean falsas.”

6) DISYUNCION EXCLUSIVA ()

Consiste en unir dos proposiciones p,q con el conectivo “o”. De manera que “p 
q” se lee “o p o q”.
Para la explicación de la regla de este conectivo se tiene el siguiente enunciado:
“Pedro puede ocupar el fin de semana en irse de paseo o ir a la universidad”

P Q explicación PQ
V V O se fue de paseo o fue a la universidad F
V F O se fue de paseo o no fue a la universidad V
F V O no se fue de paseo o fue a la universidad V
F F O no se fue de paseo o no fue a la universidad F

Conclusión:
P Q PQ
V V F
V F V
F V V
F F F
“La disyunción exclusiva tendrá un valor de verdadero solo cuando una
de las dos proposiciones sea verdadera”

VALOR DE UNA TABLA DE VERDAD PARA UNA

PROPOSICION COMPUESTA
Para determinar el valor de verdad de una proposición compuesta, es necesario
construir una tabla de verdad, la cual puede tener 3 posibles valores:

1) TAUTOLOGIA
2) CONTRADICCION
3) CONTINGENCIA

1) TAUTOLOGÍA:
Se le llama tautología al resultado final de una tabla en la cual todos los valores
son verdaderos.

2) CONTRADICCION:
Se le llama así, al resultado final de una tabla de verdad en la cual todos los
resultados finales son falsos.

3) CONTINGENCIA:
Se le llama así al resultado final de una tabla en la que existen valores
verdaderos y falsos.

Lógica Matemática
10 Unidad I
PASOS PARA CONSTRUIR UNA TABLA DE VERDAD DE UNA PROPOSICION
COMPUESTA:

En la elaboración de las tablas de verdad, el estudiante debe conocer las reglas

de cada conectivo y aplicarlas correctamente. A continuación se dan los pasos a seguir
en la construcción de una tabla de verdad:

1º Leer la proposición compuesta

2º Establecer el número de proposiciones simples y calcular el número de posibilidades
de valor de verdad usando la expresión:
n
2
3º Escribir las posibilidades de valor según el numero de proposiciones simples.
4º Completar la tabla colocando una columna por cada conectivo de la proposición
compuesta e identificar cada columna de acuerdo al orden lógico de la proposición
compuesta.
5º Aplicar las leyes de cada conectivo.
6º Verificar el resultado y establecer su valor: tautología, contradicción o contingencia.

Ejemplo No. 8
Determine la tabla de verdad de la proposición:

Tabla de verdad para:

[(p  q) ^ r]  ~q ^ p.

Solución:
El numero de proposiciones simples es igual a 3 (p,q y r), entonces el numero de
posibilidades es:

23 = 8

Construyendo la tabla de verdad y aplicando reglas de conectivos:

p q r p  q (p  q)^r ~q ~q ^ p [(p  q)^ r]  ~q ^ p

V V V V V F F F
V V F V F F F V
V F V V V V V V
V F F V F V V V
F V V V V F F F
F V F V F F F V
F F V F F V F V
F F F F F V F V

Según el resultado de la última columna se trata de una contingencia.

Lógica Matemática
11 Unidad I
Ejercicio No. 4
INSTRUCCIONES: Construir la tabla de verdad de cada proposición y establecer su valor
de verdad (tautología, contradicción o contingencia).

1) p ∨  (p ∧ q) 11) p ˅ (q ^ r) ↔(p ˅ q) ^(p ˅ r)

2) (p ^ q) ^ (p ˅ q) 12) (p ^ q) ^ (p ˅ q)
3) (p ^ q) ˅ (p ˅ q) 13) [(p ↔ q) ˅ (p → r)] → (q ^ p)
4) [p ^ (q ˅ r)] ^ [q ^(p ˅ r)] 14) (p → q) ^ (r → s)
5) (p →q) ↔ (q →p) 15) (q ˅ s) → (p ˅ r)
6) (p↔q) ↔ [(p→q) ^ (q → p)] 16) [(p → q) ^ (q → r)] → (p → r)
7) (p→q)→[(p˅q)→(p ^ q)] 17) [(p → q) ˅ (p → r)] → (q ^ p)
8) [(p˅r) ^(q˅r)]^(p˅r) 18) [(p → q) → r] ↔ [(p ^ q) → r]
9) (p ^q) ^ (~p ^ ~q) 19) (p → q) ^ (q → r ) → (p → r)
10) (p ^ q) ↔ (q ^ p) 20) (p → q) ^ (q→ r) ^~ (p → r)

Lógica Matemática
12 Unidad I