Universidad de Chile

Departamento de Ingenierı́a Matemática

MA1101 - Introducción al Álgebra 07-1

Solución Control 1
Diego Benavides - Blaz Korecic - Daniel Lobos

P1. (2 ptos.) Determine los valores de verdad de las proposiciones p, q, r, s y t, si se sabe que la
proposición:

[(p ⇔ q) ∧ (r ⇒ s) ∧ t] ⇒ [s ∨ (q ⇒ s)] es falsa.

Solución:
Recordando las tablas de verdad, sabemos que una implicancia es falsa, si el lado izquierdo
del implica es verdadero y el lado derecho es falso, a raı́z de esto tenemos que:

[(p ⇔ q) ∧ (r ⇒ s) ∧ t] ⇔ V (1)
[s ∨ (q ⇒ s)] ⇔ F (2)

Para (1) debemos notar que una conjunción lógica (∧) es verdadera sı́ y solo sı́ cada uno de
sus componentes son verdaderos, por lo que:

• (p ⇔ q) ⇔ V : De aquı́, como p es equivalente a q, entonces p y q son V .

• (r ⇒ s) ⇔ V : De aquı́, si negamos, tendremos que (r ⇒ s) ⇔ F , y como ya sabemos que

esto solo ocurre cuando verdadero implica falso, entonces r es V y s es F .

• t ⇔ V : De aquı́, t es F , pues su negación es V .

Para (2), debemos notar que una disjunción lógica (∨) es falsa sı́ y solo sı́ todos sus elementos
son falsos, de esta manera, tenemos que:

• s ⇔ F : De aquı́, simplemente s es F .

• (q ⇒ s) ⇔ F : De aquı́, nuevamente se puede concluir que como el implica es falso,

entonces q es V y s es F .

Se concluye que: p, q, r y s son verdaderos, y s, t son falsos. 

1
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 07-1

P2. (2 ptos.) Sean p, q, r, s proposiciones lógicas. Demuestre sin usar tablas de verdad que la
siguiente proposición es una tautologı́a:

[(p ⇒ q) ∧ (r ⇒ s)] ⇒ [(p ∧ r) ⇒ (q ∧ s)]

Solución:
Primera Forma: Usando álgebra proposicional (tautologı́as).

[(p ⇒ q) ∧ (r ⇒ s)] ⇒ [(p ∧ r) ⇒ (q ∧ s)]

⇔ [(p ⇒ q) ∧ (r ⇒ s)] ∨ [(p ∧ r) ⇒ (q ∧ s)] Por caracterización del implica.
⇔ [(p ∨ q) ∧ (r ∨ s)] ∨ [(p ∧ r) ∨ (q ∧ s)] Por caracterización del implica.
⇔ [(p ∨ q) ∨ (r ∨ s)] ∨ [(p ∨ r) ∨ (q ∧ s)] Por Ley de De Morgan.
⇔ [(p ∧ q) ∨ (r ∧ s)] ∨ [(p ∨ r) ∨ (q ∧ s)] Por Ley de De Morgan.
⇔ [(p ∧ q) ∨ (r ∧ s)] ∨ [(p ∨ r) ∨ (q ∧ s)] Por doble negación en p y r.
⇔ (p ∧ q) ∨ (r ∧ s) ∨ p ∨ r ∨ (q ∧ s) Al disolver parentesis.
⇔ (p ∧ q) ∨ [(r ∧ s) ∨ p] ∨ r ∨ (q ∧ s) Al agrupar.
⇔ (p ∧ q) ∨ [p ∨ (r ∧ s)] ∨ r ∨ (q ∧ s) Conmutación en el corchete.
⇔ [(p ∧ q) ∨ p] ∨ [(r ∧ s) ∨ r] ∨ (q ∧ s) Al asociar.
⇔ [(p ∨ p) ∧ (q ∨ p)] ∨ [(r ∨ r) ∧ (s ∨ r)] ∨ (q ∧ s) Distribuyendo en los corchetes.
⇔ [V ∧ (q ∨ p)] ∨ [V ∧ (s ∨ r)] ∨ (q ∧ s) Al usar a ∨ a ⇔ V , con p y r.
⇔ [(q ∨ p)] ∨ [(s ∨ r)] ∨ (q ∧ s) Al usar V ∧ a ⇔ a.
⇔ [(q ∨ p)] ∨ [(s ∨ r) ∨ (q ∧ s)] Al reagrupar con corchetes.
⇔ [(q ∨ p)] ∨ [(q ∧ s) ∨ (s ∨ r)] Conmutación en el corchete.
⇔ q ∨ [p ∨ (q ∧ s)] ∨ (s ∨ r) Al asociar.
⇔ q ∨ [(q ∧ s) ∨ p] ∨ (s ∨ r) Conmutación en el corchete.
⇔ [q ∨ (q ∧ s)] ∨ p ∨ (s ∨ r) Al asociar.
⇔ [(q ∨ q) ∧ (q ∨ s)] ∨ p ∨ (s ∨ r) Distribuyendo en el corchete.
⇔ [V ∧ (q ∨ s)] ∨ p ∨ (s ∨ r) Al usar a ∨ a ⇔ V , con q.
⇔ [(q ∨ s)] ∨ [p ∨ (s ∨ r)] Al usar V ∧ a ⇔ a.
⇔ [(q ∨ s)] ∨ [(s ∨ r) ∨ p] Conmutación en el corchete.
⇔q∨s∨s∨r∨p Al quitar todos los parentesis.
⇔ q ∨ [s ∨ s] ∨ r ∨ p Al agrupar.
⇔q∨V ∨r∨p Al usar a ∨ a ⇔ V , con s.
⇔ (q ∨ V ) ∨ (r ∨ p) Al agrupar.
⇔ V ∨ (r ∨ p) Al usar V ∨ a ⇔ V , con q.
⇔V Al usar V ∨ a ⇔ V , con (r ∨ p).

Obs: Puede asociar y conmutar de otras formas.

2
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 07-1

Segunda Forma: Por inspección.

Para que [(p ⇒ q) ∧ (r ⇒ s)] ⇒ [(p ∧ r) ⇒ (q ∧ s)] sea una tautologı́a basta suponer que si
el lado izquierdo del implica es V , entonces deberá ocurrir que el lado derecho es V . Si este
ultimo fuese F , entonces la implicancia es falsa, por lo que no estarı́amos hablando de una
tautologı́a.

En efecto, si: [(p ⇒ q) ∧ (r ⇒ s)] es V , entonces cada termino de la conjunción es V , pues es

el único caso en donde la conjunción lógica es verdadera, luego:

(p ⇒ q) ⇔ V (3)

(r ⇒ s) ⇔ V (4)
Con esto en mente, solo basta estudiar cómo se comporta el lado derecho de lo que queriamos
demostrar, [(p ∧ r) ⇒ (q ∧ s)]. Si (p ∧ r) es V (hipotesis), entonces cada elemento de la con-
junción es V , luego, p, r son V .

Nota: Se ha supuesto V, pues es el único caso donde la implicancia podrı́a fallar, pues se debe
recordar que V ⇒ F ⇔ F , el resto de casos son V .

Recordando las tablas de verdad, si una implicancia es V , y el lado izquierdo del implica es
V , necesariamente el lado derecho de la implicancia es V . De esta forma, deducimos de las
relaciones (3) y (4) que q, s son V , puesto que p y r lo son (por hipótesis).

Como q, s son V , sigue que: (q ∧ s) es V , y por lo tanto [(p ∧ r) ⇒ (q ∧ s)] es V . Ası́,

[(p ⇒ q) ∧ (r ⇒ s)] ⇒ [(p ∧ r) ⇒ (q ∧ s)] es una tautologı́a. 

3
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 07-1

P3. Sea p una proposición lógica y q(x) una función proposicional.

(a) (1 pto.) Si llamamos r a la proposición (∀x)(p ⇒ q(x)), determine el valor de verdad de

p, sabiendo que r es falsa. Justifique.

(b) (1 pto.) Llamamos ahora s a la proposición (∃x)(p ⇒ q(x)). Decida si es posible determi-
nar el valor de verdad de p, sabiendo que s es verdadera. Justifique.

Solución:

(a) Si r es F , entonces su negación, r, es V , en otras palabras: (∀x)(p ⇒ q(x)) es V . Recor-

dando que la negación de ∀(x)P (x) es (∃x)P (x), podemos reescribir la expresión anterior
como:
(∀x)(p ⇒ q(x)) ⇔ (∃x) ( p ⇒ q(x) ) ⇔ (∃x) (p ∨ q(x)) ⇔ (∃x)(p ∧ q(x)) ⇔ (∃x)(p ∧ q(x))
| {z } | {z }
Carac. del ⇒ De Morgan.

Como esta expresión era verdadera, tenemos que: (∃x)(p ∧ q(x)) es V , es decir, para al
menos un x se satisface que (p ∧ q(x)) es V , y para que una conjunción lógica sea cierta,
cada componente de esta debe ser V . Lo anterior obliga que la preposición fija, p, sea
cierta. 

(b) Al igual que en la parte anterior, podemos usar la caracterización del implica y hacer un
analisis de la situación:
(∃x)(p ⇒ q(x)) ⇔ (∃x)(p ∨ q(x))
Debe notarse que esta expresión derecha es cierta, pues s lo es. De esta manera, para al
menos un x se satisface que (p∨q(x)) es V , y para que una disjunción lógica sea cierta, por
lo menos un componente de esta debe ser verdadero. Notando que p es fijo, solo podemos
analizar que pasa con q(x), luego si q(x) se satisface para algun x, q(x) es V ; pero no se
puede decir nada de p, puesto que siendo p: V o F , la premisa: (p ∨ q(x)) sigue siendo
verdadera (pues q(x) lo es). En consecuencia no es posible determinar el valor de p. 

4
Universidad de Chile
Departamento de Ingenierı́a Matemática
MA1101 - Introducción al Álgebra 07-1

Rúbrica Control 1
Diego Benavides - Blaz Korecic - Daniel Lobos

P1. • Notar que [(p ⇔ q) ∧ (r ⇒ s) ∧ t] es V y [s ∨ (q ⇒ s)] es F (0.5 ptos.).

• Analizar la parte izquierda del implica, y concluir que q es V y s es F (0.5 ptos.).
• Analizar la parte derecha del implica, y concluir que p, r son V y t es F (0.5 ptos.).
• Enunciar las conclusiones obtenidas de las partes anteriores (0.5 ptos).

P2. Primera Forma

• Desglosar la expresión original lo más posible, mediante caracterizacion del implica y
leyes de morgan (1.0 pto.).
• Conmutar, asociar y distribuir para hacer aparecer V , luego, simplificar usando las
propiedades relacionadas con (V ∨ prop.) y (V ∧ prop.) (1.0 pto.).

Segunda Forma
• Notar que si [(p ⇒ q) ∧ (r ⇒ s)] es V entonces [(p ∧ r) ⇒ (q ∧ s)] debe ser V
(1.0 pto.).
• Formular a partir de lo anterior 2 relaciones, notando los implica, es decir, qué debe
cumplirse para que sean ciertos. Luego, analizar qué pasa cuando (p ∧ r) es V y concluir
el valor de verdad del resto de la proposición original, apoyándose en las 2 relaciones
anteriormente encontradas (1.0 pto.).

P3. (a) Negar la expresión original, trabajando la negación del implica y concluir el valor de p
usando el valor de la conjunción (1.0 pto.).
(b) Usar caracterización del implica, y concluir el valor de p usando el valor de la disjunción
(1.0 pto.).

Este proyecto es una reelaboración de la pauta original, pensada para poder facilitar el estudio,
por favor no dudes en notificar cualquier errata presente en este documento. ¡Mucho éxito en el
control !

Pauta original: https://goo.gl/3Zcbec

¿Errores? Reportalos: https://goo.gl/forms/9gmwMAWrNEKKvfiP2