Instituto Politécnico Nacional

UNIDAD PROFESIONAL INTERDISCIPLINARIA DE INGENIERIA CAMPUS ZACATECAS

Problemario 4: Introducción a la lógica matemática.
(Fecha de entrega:15/11/2018)
Hecho por:
Angel Briseño Agüero
Pedro Armando Ramos Salazar
Pedro Villano Torres
Carlos Montes Leyva
Juan de Dios Rivas Hernandez

Ejercicio 1
Notando P y Q las siguentes afirmaciones:
P :”Juan es bueno en matemáticas”,
Q:”Juan es bueno en quı́mica”.
Represente las siguientes afirmaciones en forma simbólica(i.e de proposiciones compuestas), usando
las letras P , Q y los conectivos adecuados.
1. ”Juan es bueno en matemáticas, sin embargo él es malo en quı́mica”
R = P¬Q
2. ”Juan no es bueno en matemáticas ni en quı́mica”
R = ¬P¬Q
3. ”Juan es bueno en matemáticas o a su vez él es malo en matemáticas y bueno en quı́mica”
R = (P∨ ¬P)∧ Q
4. ”si Juan es bueno en matemáticas, entonces él es malo en quı́mica”
R = P→ ¬Q
5. ”Juan es bueno en matemáticas si y sólo si él no es bueno en quı́mica”
R = P↔ ¬Q

Ejercicio 2
Sean P y Q dos proposiciones. Se puede construir una proposición compuesta definida por P ↓ Q
y conocida como (¬P ) ∧ (¬Q)
1. ¿Cuál es la tabla de verdad de dicha proposición?
2. ¿Cuál es la negación de dicha proposición?
R = La negacion es ¬((¬P ) ∧ (¬Q))
P Q ¬P ¬Q (¬P )∧(¬Q) ¬((¬P ) ∧ (¬Q))
V V F F F V
V F F V F V
F V V F F V
F F V V V F

1
Ejercicio 3
Sean p, q, r tres proposiciones. Sea la expresión compuesta ¬p ∨ q ∧ ¬r.
1. Hallar las diferentes formas posibles de poner los parentesis para que la proposición compuesta
resultante sea correcta.
• (¬p ∨ q) ∧ ¬r
• ¬p ∨ (q ∧ ¬r)
• (¬(p ∨ q) ∧ ¬r)
• ¬(p ∨ (q ∧ ¬r))
2. Hallar la(s) tabla(s) de verdad de la(s) proposición(es) compuesta(s) resultante(s) formada(s)
en el inciso (1)
p q r ¬p ¬r (¬p ∨ q) (¬p ∨ q) ∧ ¬r
V V V F F V F
V V F F V V V
V F V F F F F
V F F F V F F
F V V V F V F
F V F V V V V
F F V V F V F
F F F V V V V

p q r ¬p ¬r (q ∧ ¬r) ¬p ∨ (q ∧ ¬r)
V V V F F F F
V V F F V V V
V F V F F F F
V F F F V F F
F V V V F F V
F V F V V V V
F F V V F F V
F F F V V F V

p q r ¬p ¬r (p ∨ q) ¬(p ∨ q) (¬(p ∨ q) ∧ ¬r)

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

2
 p q r ¬r q ∧ ¬r p ∨ (q ∧ ¬r) ¬(p ∨ (q ∧ ¬r))
V V V F F V F
V V F V V V F
V F V F F V F
V F F V F V F
F V V F F F V
F V F V V V F
F F V F F F V
F F F V F F V

3. ¿ Qué se observa cuando las tres proposiciones p, q, r son falsas. El resultado es verdadero
cuando las tres proposiciones son falsas.
p q r ¬p ¬r (¬p ∨ q) (¬p ∨ q) ∧ ¬r
F F F V V V V

Ejercicio 4
Sean p, q, r tres proposiciones.
A) Constuyan la tabla de verdad de la siguientes proposiciones e indique las que son tautologı́as:
1. p → ((¬p) → p))

p (¬p) (¬p) → p p → ((¬p) → p))

V F V V
F V F V

p → ((¬p) → p)) Es una tautologı́a

2. p ∨ (¬(q ∧ r))

p q r q∧r (¬(q ∧ r)) p ∨ (¬(q ∧ r))

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

p ∨ (¬(q ∧ r)) No es una tautologı́a

3. (¬p) → ((¬q) ∨ r)

3
 p q r (¬p) (¬q) (¬q) ∨ r) (¬p) → ((¬q) ∨ r)
V V V F F V V
V V F F F F V
V F V F V V V
V F F F V V V
F V V V F V V
F V F V F F F
F F V V V V V
F F F V V V V

(¬p) → ((¬q) ∨ r) No es una tautologı́a

4. (p ∨ (¬q)) → ((¬p) ∨ r)

p q r (¬q) (p ∨ (¬q)) (¬p) ((¬p) ∨ r) (p ∨ (¬q)) → ((¬p) ∨ r)

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

(p ∨ (¬q)) → ((¬p) ∨ r) No es una tautologı́a

5. (p → q) → ((q → r) → (p → r))

p q r p→q q→r p→r (q → r) → (p → r) (p → q) → ((q → r) → (p → r))

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

(p → q) → ((q → r) → (p → r)) Es una tautologı́a

B) ¿Son equivalentes las siguientes proposiciones?
1. p ∧ (p → q)) ; p ∧ q

p q p→q p ∧ (p → q)) p∧q

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

Como la tabla de verdad de p ∧ (p → q)) y la tabla de verdad de p ∧ q son iguales

∴ p ∧ (p → q)) ; p ∧ q Son equivalentes

4
 2. p → (q ∨ r); (p → q) ∨ (p → r)

p q r q∨r p → (q ∨ r) p→q p→r (p → q) ∨ (p → r)

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

Como la tabla de verdad de p → (q ∨ r) y la tabla de verdad de (p → q) ∨ (p → r)

son iguales ∴ p → (q ∨ r); (p → q) ∨ (p → r) son equivalentes
3. p → (q → r); (p → q) → r

p q r q→r p → (q → r) p→q (p → q) → r
V V V V V V V
V V F F F V F
V F V V V F V
V F F V V F V
F V V V V V V
F V F F V V F
F F V V V V V
F F F V V V F

Como la tabla de verdad de p → (q → r) y la tabla de verdad de (p → q) → r son

distintas ∴ p → (q → r); (p → q) → r no son equivalentes
4. (p ∧ q) ∨ (q ∧ r) ∨ (r ∧ p) ; (p ∨ q) ∧ (q ∨ r) ∧ (r ∨ p)

p q r p∧q q∧r r∧p (p ∧ q) ∨ (q ∧ r) ∨ (r ∧ p) p∨q q∨r r∨p (p ∨ q) ∧ (q ∨ r) ∧ (r ∨ p)

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

Como la tabla de verdad de (p ∧ q) ∨ (q ∧ r) ∨ (r ∧ p) y la tabla de verdad de

(p ∨ q) ∧ (q ∨ r) ∧ (r ∨ p) son iguales ∴ (p ∧ q) ∨ (q ∧ r) ∨ (r ∧ p) ; (p ∨ q) ∧ (q ∨ r) ∧ (r ∨ p)
son equivalentes
C) Pruebe la validez del siguiente argumento:

Si dos lados de un triángulo son iguales, entonces los ángulos opuestos son iguales.

Dos lados de un triángulo no son iguales.

———————————————————————————-

5
Los ángulos opuestos de un triángulo no son iguales.

p=Dos lados de un triángulo son iguales

q=Los ángulos opuestos son iguales
p→q
¬p
——————
∴ ¬q

p q p→q ¬p (p → q) ∧ ¬p ¬q ((p → q) ∧ ¬p) → (¬q)

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

Como la tabla de verdad de ((p → q) ∧ ¬p) → (¬q) no es una tautologı́a ∴ ((p →

q) ∧ ¬p) → (¬q) es un argumento invalido

Ejercicio 5
Determine el valor de verdad de cada una de las siguientes proposiciones:
A) sea U = {1, 2, 3, 4, 5}
1. (∃x ∈ A)(x + 3 > 5)
Como Tp= {3, 4, 5} ⇒ (∃x ∈ A)(x + 3 > 5) es V
2. (∀x ∈ A)(x + 3 ≤ 2)
Como Tp=φ ⇒ (∀x ∈ A)(x + 3 ≤ 2) es F
B) sea U = {1, 2, 3}
1. ∀x∃y, x2 + y 2 < 4
Como Tp= {1} ⇒ ∀x∃y, x2 + y 2 < 4 es F

2. ∀x∀y, x2 + y 2 < 4
Como Tp={1} ⇒ ∀x∀y, x2 + y 2 < 4 es F
C) Niegue cada una de las siguientes proposiciones:
1. ∃x∃y∀z, p(x, y, z)
• ¬(∃x∃y∀z, p(x, y, z) ∼
= ∀x∀y∃z, ¬p(x, y, z)
2. ∃x∃y, p(x, y)
• ¬(∃x∃y, p(x, y)) ∼
= ∀x∀y, ¬p(x, y)
3. todas las proposiciones del inciso A)
• ¬(∃xA, x + 3 > 5) ∼
= ∀xA, x + 3 = 5)
• ¬(∀xA, x + 3 6 2) ∼
= ∃xA, x + 3 > 2

6
D)Propocione un contraejemplo para cada proposición, donde U = {3, 5, 7, 9, 11} es el conjunto
universo:
1. ∀x, x es primo
Sea ∀XU , X es primo es F
como ∃X0 = 9U , 9 no es primo porque tiene mas de dos divisores
2. ∀x, |x| = x
@xU , |x| =
6 x, ∴ es V, entonces no hay contraejemplo