E SCUELA P OLITÉCNICA N ACIONAL

F UNDAMENTOS DE M ATEMÁTICA • H OJA DE EJERCICIOS NO . 2

Semestre 2019-B ( 14 oct al 18 oct) Departamento de Formación Básica

 
1. Desarrollar la tabla de verdad para la siguiente proposición: A: ( p ∧ q) → (r ∨ ¬ p) ∧ r.

Solución. Notemos que la proposición A está formada a partir de las proposiciones p, q y r, tres en total,
entonces el número de filas que ha de tener la tabla de verdad es igual a 23 = 8. Adicionalmente, el
número de columnas es igual a 4, una para p, q, r y A.
En primer lugar debemos ordenar los valores de verdad de las columnas relacionadas a p, q y r.
Tenemos que:

a) Los valores de verdad de p: la primera mitad (filas 1, 2, 3 y 4) son verdad y la segunda mitad (filas
5, 6, 7 y 8) son falso.
b) Los valores de verdad de q: la primera cuarta parte (filas 1 y 2) son verdad, la segunda cuarta parte
(filas 3 y 4) son falso, la tercera cuarta parte (filas 5 y 6) son verdad y la última cuarta parte (filas 7
y 8) son falso.
c) Los valores de verdad de r: la primera fila verdad, la segunda fila falso y así sucesivamente.

El análisis de los valores de verdad de las proposiciones involucradas en A los realizaremos en el

siguiente orden:

a) p ∧ q y r ∨ ¬ p.
b) ( p ∧ q) → (r ∨ ¬ p).
 
c) ( p ∧ q) → (r ∨ ¬ p) ∧ r.

A continuación realizamos estos pasos.

a) Los valores de verdad de p ∧ q y r ∨ ¬ p. Recordando que los valores de verdad de ¬ p son los
contrarios que los de p junto con las definiciones de conjunción y disyunción con los valores de
verdad de p, q y r tenemos que:
 
p q r ( p ∧ q ) → (r ∨ ¬ p ) ∧ r
V V V V V
V V F V F
V F V F V
V F F F F
F V V F V
F V F F V
F F V F V
F F F F V
b) Los valores de verdad de ( p ∧ q) → (r ∨ ¬ p). A partir de la definición de la condicional junto con
los valores de verdad de las proposiciones ( p ∧ q) y (r ∨ ¬ p) se tiene que:

1
  
p q r (p ∧ q) → (r ∨ ¬ p) ∧ r
V V V V V V
V V F V F F
V F V F V V
V F F F V F
F V V F V V
F V F F V V
F F V F V V
F F F F V V
 
c) Los valores de verdad de ( p ∧ q) → (r ∨ ¬ p) ∧ r. A partir de la definición de conjunción junto
con los valores de verdad de ( p ∧ q) → (r ∨ ¬ p) y r se obtiene que:
 
p q r ( p ∧ q ) → (r ∨ ¬ p ) ∧ r
V V V V V V V V
V V F V F F F F
V F V F V V V V
V F F F V F F F
F V V F V V V V
F V F F V V F F
F F V F V V V V
F F F F V V F F

2. Determine el valor de verdad de las proposiciones P, Q, R, S y T si el valor de verdad de la siguiente

proposición  

 

(¬ R ∨ Q) → S ∨ ( P ∨ T ) ↓ ¬ ( P ∨ Q) ↔ S ∧ ¬S

es verdadero.

Solución. Por hipótesis tenemos que

   



(¬ R ∨ Q) → S ∨ ( P ∨ T ) ↓ ¬ ( P ∨ Q) ↔ S ∧ ¬S (1)

es verdadero.
Por la definición de conjunción junto con (1) se tiene que

 

(¬ R ∨ Q) → S ∨ ( P ∨ T ) ↓ ¬ ( P ∨ Q) ↔ S (2)

¬S (3)

son verdaderas.
Por la definición de negación junto con (3) tenemos que

S (4)

es falsa.
Por la definición de conjunción negativa junto con (2) tenemos que


(¬ R ∨ Q) → S ∨ ( P ∨ T ) (5)

2
 y


¬ ( P ∨ Q) ↔ S (6)

son falsas.
Por la definición de disyunción junto con (5) tenemos que

(¬ R ∨ Q) → S (7)

P∨T (8)

son falsas.
Por la definición de disyunción junto con (8) tenemos que

P (9)

T (10)

son falsas.
De la definición de negación junto con (6) tenemos que

( P ∨ Q) ↔ S (11)

es verdadera.
De la definición de bicondicional y de disyunción junto con (9), (4) se tiene que

Q (12)

es falsa.
De la definición de la condicional, negación y disyunción junto con (7) (12) y (4) se obtiene que

R (13)

es falsa.
Finalmente, concluimos que P, Q, R, S y T tienen valor de verdad falso.

3. Simplificar la proposición: R ⊻ S, donde R representa la proposición:

( p ∨ q) ∧ (q → p) ∨ ( p → q) ,
y S representa la proposición:



p ∧ (¬ p → q) ↔ p → ¬(q → p) .

Respuesta: p ∨ q

Solución.
{( p ∨ q) ∧ [(q → p) ∨ ( p → q)]} ⊻ {[ p ∧ (¬ p → q)] ↔ [ p → ¬ (q → p)]}
≡ {( p ∨ q) ∧ [(¬q ∨ p) ∨ (¬ p ∨ q)]} ⊻ {[ p ∧ ( p ∨ q)] ↔ [¬ p ∨ (q ∧ ¬ p)]} Eq. Condicional
≡ {( p ∨ q) ∧ [(¬q ∨ q) ∨ (¬q ∨ q)]} ⊻ { p ↔ ¬ p} Asociativa, Absorción
≡ {( p ∨ q) ∧ [V ∨ V ]} ⊻ F Complemento y P ↔ ¬ P ≡ F
≡ { p ∨ q} ⊻ F Identidad
≡ p∨q P⊻F ≡ P

3
4. Pruebe que
( p ↔ q) ∧ ¬( p ∧ q) ≡ p ↓ q.

Solución. Probemos que es válida la siguiente equivalencia lógica

( p ↔ q) ∧ ¬( p ∧ q) ≡ p ↓ q
Para ello:


( p ↔ q) ∧ ¬( p ∧ q) ≡ ( p → q) ∧ (q → p) ∧ (¬ p ∨ ¬q) Def. doble implicación, DeMorgan


≡ (¬ p ∨ q) ∧ (¬q ∨ p) ∧ (¬ p ∨ ¬q) Def. implicación


≡ (¬ p ∨ q) ∧ (¬ p ∨ ¬q) ∧ (¬q ∨ p) Asociativa


≡ ¬ p ∨ (q ∧ ¬q) ∧ (¬q ∨ p) Distributiva
≡ (¬ p ∨ F ) ∧ (¬q ∨ p) Complemento
≡ ¬ p ∧ ( p ∨ ¬q) Identidad, conmutativa
≡ ¬ p ∧ ¬q Absorción
≡p↓q Def. conjunción negativa

Por tanto, la equivalencia lógica dada es válida.

5. Simplifique la siguiente proposición

( p♣(q ∧ p))♣¬q
considerando que
p♣q ≡ ¬ p → q.

Solución. Para ello:

( p♣(q ∧ p))♣¬q ≡ ¬((¬ p → (q ∧ p)) → ¬q Def. ♣
≡ ¬( p ∨ (q ∧ p)) → ¬q Def. implicación
≡ ¬ p → ¬q Absorción

4
6. Dadas las siguientes premisas, demostrar la conclusión dada.

H1 ) W → ( P ∧ R)
H2 ) W ∧ ¬( T ↓ W )
H3 ) (¬ Q ∧ ( Q → S)) ⊻ ( R ∨ ( R ∧ W ))
( Q ∧ R) ∨ S

Solución.

Proposiciones Razones
1. W ∧ ( T ∨ W ) 1. Eq. Conjunción Negativa en H3
2. W 2. Absorción en 1.
3. [¬ Q ∧ (¬ Q ∨ S)] ⊻ R 3. Eq. Condicional y Absorción en H4
4. ¬ Q ⊻ R 4. Absorción en 3.
5. P ∧ R 5. Ponendo Ponens entre H1 y 2.
6. R 6. Simplificación en 5.
7. Q 7. Ponendo Tollens entre 4. y 6.
8. Q ∧ R 8. Conjunción entre 6. y 7.
9. ( Q ∧ R) ∨ S 9. Adición Disyuntiva en 8.

7. Dadas las siguientes premisas, demostrar la conclusión dada.

H1 ) (w → r ) → ( p ∧ r )
H2 ) p ↔ q
H3 ) q ↓ s
w ∧ ¬r

Solución.

Proposiciones Razones
1. ( p → q) ∧ (q → p) 1. Eq. Bicondicional en H2
2. ¬q ∧ ¬s 2. Eq. Conjunción Negativa en H3
3. p → q 3. Simplificación en 1.
4. ¬q 4. Simplificación en 2.
5. ¬ p 5. Tollendo Tollens entre 3. y 4.
6. ¬ p ∨ ¬r 6. Adición Disyuntiva en 5.
7. ¬( p ∧ r ) 7. DeMorgan en 6.
8. ¬(w → r ) 8. Tollendo Tollens entre H1 y 7.
9. w ∧ ¬r 9. Eq. condicional en 8.

5
8. Demostrar que:
H1 ) ( x = 1) → (y es impar)
H2 ) (y es impar) ↓ ¬( x = −y)
H3 ) ( x es primo) ∨ ¬( x = −y)
( x es primo) ∧ ¬( x = 1)

Solución. Primeramente, escribamos en lenguaje proposicional:

p q
z }| { z }| {
H1 ) ( x = 1) → (y es impar)
q r
z }| { z }| {
H2 ) (y es impar) ↓ ¬ ( x = −y)
s r
z }| { z }| {
H3 ) ( x es primo) ∨¬ ( x = −y)
s p
z }| { z }| {
( x es primo) ∧¬ ( x = 1)

de donde tenemos:

H1 ) p→q
H2 ) q ↓ ¬r
H3 ) s ∨ ¬r
s ∧ ¬p

Proposiciones Razones
1. ¬q ∧ r 1. Def. conjunción negativa, doble
negación en H2 )
2. ¬q 2. Eliminación de la conjunción en 1.
3. ¬ p 3. Modus Tollens entre H1 y 2.
4. r 4. Eliminación de la conjunción en 1.
5. s 5. Eliminación de la disyunción entre
H3 y 4.
6. s ∧ ¬ p 6. Introducción de la conjunción entre
5. y 3.

Por tanto se puede concluir:

( x es primo) ∧ ¬( x = 1)
de las premisas dadas.