Universidad Central de Venezuela

Facultad de Ciencias
Escuela de Computación
Matemáticas Discretas I
Práctica Nro. 1
Lógica Proposicional

Parte Teórica:

Tablas de verdad:

P q p∧q p q p∨q p q p→q

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

p q p↔q p ¬p
V V V V F
V F F F V
F V F
F F V

Leyes de equivalencia:
Conmutativa:
p∧q ⇔ q∧p p∨q ⇔ q∨p
Asociativa:
p ∧ (q∧r) ⇔ (p∧q) ∧ r p ∨ (q∨r) ⇔ (p∨q) ∨ r
Distributiva:
p ∧ (q∨r) ⇔ (p∧q) ∨ (p∧r) p ∨ (q∧r) ⇔ (p∨q) ∧ (p∨r)
Idempotencia:
p∧p ⇔ p p∨p ⇔ p
Absorción:

Lógica Proposicional
 p∧(p∨q) ⇔ p p ∨ (p∧q) ⇔ p
Morgan:
¬(p∧q) ⇔ ¬p ∨ ¬q ¬(p∨q) ⇔ ¬p ∧ ¬q
Doble negación:
p ⇔ ¬(¬p)
Implicación Material:
p→q ⇔ ¬p ∨ q
Otras equivalencias utilizadas:
p∨¬p ⇔ V p∧¬p ⇔ F
p∨V ⇔ V p∨F ⇔ p
p∧F ⇔ F p∧V ⇔ p
p→(q→r) ⇔ (p∧q)→r

Leyes de inferencia:
Modus Ponens: (M.P) Modus Tollens: (M.T.) Silogismo hipotético: (S.H.)
p→q p→q p→q
p ¬q q→r
∴q ∴ ¬p ∴ p→r

Silogismo disyuntivo: (S.D.) Dilema constructivo: Simplificación:

p∨q (p→q) ∧ (r→s) p∧q
¬p p∨r ∴p
∴q ∴ q∨s

Conjunción: Adición:
p p
q ∴ p∨q
∴ p∧q

Lógica Proposicional 2
Ejercicios para ser resueltos en clase:

Ejercicio # 1
Formalizar las siguientes expresiones en el lenguaje proposicional:
a) q si p b) p pero q c) como mínimo p
d) p a pesar de q e) p no obstante q f) q necesario para p
g) p solo si q h) no p a menos que q i) a veces p, siempre q
j) p a no ser que q k) p sin embargo q l) q suficiente para p

Ejercicio # 2
Indique si las siguientes expresiones son o no proposiciones. En caso de serlo diga si son simples
o compuestas. En caso de ser compuestas identifique los conectivos lógicos, y simbolícelas.
a) 2>4 y 2+4=8-2
b) Si ( A ∪ B) ∩ C entonces A ∪ B = A ∪ C
c) Si la clase de química ya ha empezado entonces llego tarde .
d) Pedro investigará solo si José presenta una queja.
e) Guillermo va al cine a menos que esté ocupado.
f) Es necesario que Andrés estudie mucho para que apruebe Discretas I, pero si inscribe
Discretas I y no estudia mucho entonces no aprobará la materia. Andrés estudia mucho e
inscribió la materia. Por lo tanto aprobará Discretas I.
g) Si veinticinco divisiones son suficientes, entonces el general ganará la batalla. O se
suministran tres alas de apoyo aéreo táctico, o el general no ganará la batalla. También es
cierto que sean suficientes veinticinco divisiones y que se vayan a suministrar tres alas de
apoyo aéreo táctico. En consecuencia, no son suficientes veinticinco divisiones.

Ejercicio # 3
Construya la tabla de verdad de las siguientes proposiciones y determine si son tautológicas (o
válidas), contradicciones (o insatisfatibles), o contingencias (o satisfatibles).
a) (¬p ∨ q ) ↔ ( p → q)
b) ¬((p ∧ ¬q) ∨ ¬r) → ((p ∧ q) → ¬r)

Lógica Proposicional 3
Ejercicio # 4
Sean p, q proposiciones cuyo valor de verdad es verdadero y r, s proposiciones con valor de
verdad falso, halle el valor de verdad de las siguientes proposiciones.
a) ¬((p ∧ ¬q) ∨ ¬r) → ((p ∧ q) → ¬r)

b) ((p ∧ q) ∨ ¬s) → (p ∨ r)

c) (s ∨ p) → ¬(r ∧ ¬q)
d) (p ↔ q) → r

Ejercicio # 5
Dadas las siguientes definiciones de conectores lógicos:

P q p@q p/q p*q

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

Responda las siguientes preguntas:

a) ¿ p@q tiene la misma tabla de verdad que ¬(p ↔ q) ?

b) ¿ p/p ≡ ¬p ?

c) ¿ (p/p)/(p/q) ≡ p ∧ q ?

d) p * q ≡ p ∨ q

Ejercicio # 6
Construya el árbol semántico para las siguientes fórmulas y diga:
• ¿La fórmula es válida, satisfacible o insatisfacible?
• Diga cuantos nodos de falla y nodos de exito tiene
a) (¬p → (q ∨ r )) → ((r ∧ s ) → (¬p ∨ q ))

b) (( p → q ) ∧ (r → s ) ∧ ( p ∨ r )) → (q ∨ r )

Lógica Proposicional 4
Ejercicio # 7
Simplifique las siguientes expresiones lógicas:
a) ¬(( p → ( p → r )) → ( p ∧ ( p → r )))

b) ( p ∧ q ) ∨ [( p → ( q → r )) ∧ (r → ( p ∧ ¬q ))]

Ejercicio # 7
Aplicar el método de contradicción a las fórmulas para determinar si son o no válidas.
F : ((( p ∨ q ) → ¬r ) ∧ (¬p → (¬q ∨ r )) ∧ (¬r ∨ t ) ∧ (t → (¬p ∨ q ∨ s ))) → (¬p ∨ q ∨ (r ∧ s ∧ t ))
G : (((¬t ↔ (q ∧ ¬r )) ∧ (q ∧ ¬s ∧ ¬r ∧ ¬q)) → ( p → (¬r ∨ t ))

Ejercicio # 8
¿Cuáles de las siguientes proposiciones son tautologías, contingencias o contradicciones?
Conteste la pregunta sin usar tablas de verdad.
a) ((p → q) ∧ ¬q) → ¬p
b) [((p → (q → r) ) ∧ ( (q → r) → s))] → (p → s)
c) [(p → q) ∨ (r ∧ s)] → (r ∨ p)
d) [((p → q) ∧ r) ∨ s] ∧ [(r → p) ∧ (r → ¬q) ∧ ¬s]
Ejercicio # 9
Diga con sus propias palabras la diferencia entre:
a) → y ⇒
b) ↔ y ⇔
Ejercicio # 10
Demuestre que ¬((p → q) ∧ ¬q) es una consecuencia lógica de p. Use tres métodos diferentes.
Justifique cada paso.
Ejercicio # 11
Demuestre la validez o invalidez para cada uno de los siguientes argumentos:
a) Si está prendida la estufa entonces la habitación está caliente, no está prendida la estufa,
luego la habitación no está caliente.
b) Si Dios quisiera evitar el mal, pero fuera incapaz de hacerlo, sería impotente; si fuera capaz
de evitar el mal, pero no quisiera hacerlo, sería malévolo. El mal sólo puede existir si Dios

Lógica Proposicional 5
 no quiere o puede impedirlo. El mal existe. Si Dios existe, no es impotente o malévolo.
Luego, Dios no existe
c) Si el cajero o el contador hubiera hecho sonar la alarma, entonces la bóveda se hubiera
cerrado automáticamente y la policía hubiera llegado a tiempo. Si la policía hubiera llegado
a tiempo, entonces hubiera podido alcanzar el automóvil de los ladrones. Sin embargo, no
pudo alcanzar el automóvil de los ladrones. Luego, el cajero no hizo sonar la alarma.
d) Si sigue lloviendo, entonces el río crecerá. Si sigue lloviendo y el río crece, entonces el
puente será arrastrado por las aguas. Si la continuación de la lluvia trae como consecuencia
que el puente sea arrastrado por las aguas, entonces no será suficiente un solo camino para
toda la ciudad. Un solo camino es suficiente para toda la ciudad o los ingenieros han
cometido un error. Por lo tanto los ingenieros han cometido un error.
e) P1. p → ( q → r)
P2. p ∨ ¬s
P3. q
∴ s→r
f) P1. (a ∧ b)→d
P2. (b→g)→e
P3. a
P3. ¬h
∴ d

g) De un arquitecto se sabe que:

Si diseña muy rápidamente no queda satisfecho.
Presenta el proyecto solo si esta satisfecho.
No cobra amenos que presente el proyecto.
Hoy estuvo diseñando muy rápidamente
¿Es posible saber si cobró?

Ejercicio # 12
Demostrar por el método de reducción al absurdo el siguiente razonamiento:
P1. (m∨n)→(o∧p)
P2. (o∨q)→(¬r∧s)
P3. (r∨t)→(m∧u)
∴ ¬r

Lógica Proposicional 6
Ejercicio # 13
Demuestre que las siguientes premisas son inconsistentes, deduciendo una contradicción
P1: t→p
P2: t∧r
P3: q → ¬r
P4: (p∨s)→q

Ejercicio # 14
Encuentre la expresión lógica asociada al siguiente circuito:

Ejercicio # 15

En la Electricidad de Caracas se encienden a las 4:00 p.m. las luces del piso 1 si el encargado de
turno lo ordena. Las del piso 2 no sólo dependen de la decisión del encargado de turno, sino que el
guardia también lo debe ordenar. Por otra parte, si no hay ninguna persona en el piso 1 no se pueden
encender las luces de este. Además de todo esto, en vista de que hubo problemas con el encargado
de turno se acordó que cuando éste ordenara no encender las luces del piso 2 y el guardia sí lo
ordenara, fueran encendidos sin restricción alguna. Diseñe y represente el circuito de interruptores
asociado e indique cuando se encienden las luces de cada piso.

Ejercicios para ser resueltos por el alumno:

Ejercicio # 1
a) Los patitos se transforman en cisnes.
b) Daba tres pasos hacia la derecha y entonces iba dos pasos hacia adelante .
c) Estos problemas no son fáciles para mi.
d) Si suena el timbre entonces es hora de empezar la clase.
e) Si la clase de química ya ha empezado entonces llego tarde .

Lógica Proposicional 7
 f) Una parte de la luna no se ve desde la tierra.
g) O Antonio ira al teatro o ira al cine.
h) Las rosas son rojas y las violetas son azules
i) Si Brasil esta en Sudamérica entonces esta en el hemisferio sur.
j) Es de día si y solo si no es de noche.
Ejercicio # 2

Construya la tabla de verdad de las siguientes proposiciones, y verifique si son tautologías,

contradicción o contingencia.
a) ((p ∧ q) ∨ ¬r) → (p ∨ r)
b) ((p ∨ ¬r) ∧ q) → (q →(¬p ∧ r))
c) (p↔(q ∧ ¬r)) ∨ (p → ¬q)

Ejercicio # 3
Sea * el conectivo lógico binario definido por la expresión:
a * b ≡ ¬a ∧ ¬b
Verifique la siguiente equivalencia lógica sin utilizar tablas de verdad:
p → q ≡ ((p * p) * q) * ((p * p) * q)

Ejercicio # 4
Verifique si las siguientes proposiciones son tautológicas, contradicciones o contingencias, sin
usar tablas de verdad.
a) (p ∧ q) → p
b) [p ↔ q] ↔ [(p ∧ q) ∨ (¬p ∧ ¬q)]
c) [(p → q) ∨ (r → s)] → [(p ∨ r) → (q ∨ s)]
d) (o → ¬p) ∧ (p → q) ∧ (q → o) ∧(¬r → p) ∧ ¬r

Ejercicio # 5
Simbolice en caso de ser necesario, los siguientes razonamientos. Determine y justifique su
validez o no.
a) No te contestarán si escribes. Te sentirás miserable si no te contestan. Se sigue que, si
escribes te sentirás miserable.

Lógica Proposicional 8
 b) P1: x = 1→ xy = 2
P2: x+y≠3→x≠1
P3: (y = 1 ∨ x = 2) → ¬(x + y = 3 ∧ xy = 2)
∴ x = 1 → (x ≠ 2 ∧ y ≠ 1)
c) Él solo puede tener muchos amigos si los respeta como individuos. Si los respeta como
individuos, no puede esperar que se comporten todos de la misma manera. Él tiene
muchos amigos. Luego no espera que todos se comporten de la misma manera.
d) P1: a ∧ ¬b
P2: (c ∧ d) → (a → b)
P3: (e → c) ∨ (h ∧ d)
∴ ¬e ∨ ¬h
e) P1: (a ∧ b) → d
P2: (b → g) → e
P3: ¬(¬a)
P4: ¬h
∴ d
f) P1: a+b=4→a=2
P2: (a = 2 ∧ c = 8) → a + c = 10
P3: a≠2 ∨c=8
∴ a + b ≠ 4 ∧ a + c ≠ 10

Ejercicio # 6
Dé una demostración formal empleando el método de reducción al absurdo, para los siguientes
razonamientos:
a) P1: 2a + b = 5 → 2a = 2
P2: 2a + b = 5 ∨ b = 3
P3: 2a = 2 → a = 1
P4: b = 3 → 2a = 2
∴ a=1

b) P1: p → (q → r)
P2: p ∨ ¬s
P3: q
∴ s→r

Lógica Proposicional 9
Ejercicio # 7
Complete las siguientes demostraciones formales dando las explicaciones de cada paso, e
incluyendo las inferencias elementales o equivalencias usadas:
a) Razonamiento:
P1: p → (q → r)
P2: p ∨ ¬s
P3: q
∴ s→r
Demostración Justificación
1) p → (q → r) P1
2) P2
3) q
4) ¬s ∨ p
5) s→p
6) S.H. 5 y 1
7) (s ∧ q) → r
8) q → [s → (q ∧ s)]
9) M.P. 8 y 3
10) s → (s ∧ q)
11) s → r

b) Razonamiento:
P1: p → (q ∧ r)
P2: r→s
P3: ¬(q ∧ s)
∴ ¬p
Demostración Justificación
1) P1
2) P2
3) P3
4) ¬(¬p)
5) p
6) M.P. 5 y 1
7) q
8) r ∧ q
9) Simplif. en 8
10) s
11) Conjunc. 7 y 10
12) Contradicción

Ejercicio # 8
Demostrar la validez de los siguientes razonamientos, utilizando el método para conclusiones
condicionales:
Lógica Proposicional10
 a) P1: p → q
P2: r → q
P3: (s ∨ q) → t
∴ (p ∨ r) → t
b) P1: s ∧ (¬p ∨ m)
P2: m → (q ∨ r)
∴ p → (¬q → r)
c) P1: x ≠ 0
P2: y ≤ 0 → x > 0
P3: xy ≠ 0 → x = 0
∴ (y ≤ 0 ∨ xy ≠ 0) → x > 0

Ejercicio # 9
Encuentre la expresión lógica asociada al siguiente circuito

Ejercicio # 10
Tres personas juegan cara o sello usando la regla: cada uno lanza una moneda al aire. Si todas
salen cara o todas salen sello, pierden los tres jugadores. Si no sucede lo anterior, gana el jugador
cuya moneda es distintas de las otras.
a) Escriba la tabla de verdad que representa la regla del juego para cada jugador
b) Represente el circuito de interruptores asociado

Ejercicio # 11
Diseñe y represente un circuito de interruptores que:

Lógica
gica Proposicional11
a) Calcule la suma de dos números binarios positivos de dos posiciones.
b) Compare dos cadenas binarias de 4 bits cada una. El circuito debe responde con 1 si ambas
cadenas son iguales, 0 si no lo son.

GDA/EM

Lógica Proposicional12