Lista 2 de Matemáticas Discretas

Iván Giovanny Mosso Garcı́a

IPN-ESCOM

Intrucciones.- Entregar los incisos 1), 2.a), 2.b), 3.b), 3.c), 4), 5.a), 5.c), 5.d), 6), 7), 6.f), 6.g), 7) y
8.a), 8.c) a más tardar el viernes 24 de febrero antes de comenzar la clase. Entregar en equipos de 4, 5, 6
o 7 personas. Escribir los nombres de los integrantes en la parte superior de la primera hoja. Usar hojas
de reciclaje o escitas por ambos lados.

1. De cada inciso ¿qué puede concluir de las premisas? Si logró concluir algo, mencione la regla de
inferencia que modela su razonamiento.
a) Luis irá a las luchas o al juego. No fué al juego.
b) Si no consigo el primer lugar, me retiro del karate. No me retiré del karate.
c) Es necesario llevar el acta de nacimiento para tramitar la crencial de elector. Es necesario
tramitar la credencial de elector para ejercer el voto.
d ) Si no consigues trabajo en esta semana, tendras que empeñar tu colección del Cruz Azul.
Conseguiste trabajo esta semana.
2. Sean p, q, r, s proposiciones. Demuestre que los siguientes argumentos son validos de manera directa.

a) [p ∧ (p → q)] ∧ (¬q ∨ r) ⇒ r
b) [p → (q → ¬r)] ∧ (¬q → ¬p) ∧ p ⇒ ¬r.
c) (p → q) ∧ (¬r ∨ s) ∧ (¬p → r) ⇒ ¬s → q.
d ) (p ↔ q) ∧ (q → ¬r) ∧ (r ∨ s) ∧ (¬p → s) ⇒ s.

3. Demuestre que los argumentos del inciso anterior son validos de manera indirecta.
4. Sean p, q, r proposiciones. Determine si los siguientes enunciados son verdaderos o falsos, justifique
su respuesta.
a) Si p ⇔ q, entonces q ∧ r ⇒ p ∧ r.
b) Si p ∧ r ⇒ q ∧ r, entonces p ⇒ q.
c) Si p ∨ r ⇒ q ∨ r, entonces p ⇒ q.
d ) p ⇔ q ssi p ⇒ q y ¬p ⇒ ¬q.
e) Si p ⇒ q, entonces q → r ⇒ p → r.
5. Sea DVx,y,z los numeros naturales 1, 2, 3, 6. ¿Cuáles son los valores que hacen verdaderas a las
siguientes proposiciones?
a) Es necesario que x > 3 para que x2 ≥ 6.
y
b) Si x ≤ y, entonces x es entero.
x
c) y 6= 1 o xy < 4.
d ) x + y > 3 si y solo si x > 3 − y.
e) x + y + z = 6, x ≤ z y y ≤ z.

1
 2

6. Sea DVx,y,z las personas c =’Claudia’, j =’Jair’ y m =’Marco’. Sean p(x) =“x es tı́mido(a)”,
q(x) =“x es mentiroso(a)” y r(x, y) =“a x le cae bien y”. Escriba los siguientes enunciados en
representación simbólica.
a) “Si a x le cae bien Caudia, entonces no le cae bien Marco.”
b) “x es tı́mido pero no mentiroso.”
c) “A todos los tı́midos les caen bien los mentirosos.”
d ) “Existe por lo menos un mentiroso tal que si y es tı́mido entonces le cae bien.”
e) “Existe una persona que ni es tı́mida, ni mentirosa.”
f ) “Existe una única persona a quien le cae bien Jair.”

7. De cada inciso ¿qué puede concluir de las premisas? Si logró concluir algo, mencione las reglas de
inferencia que modelan su razonamiento.
a) Todos los capitalinos han comido tacos de suadero o de carnitas. Yo, que soy capitalino, no he
comido tacos de carnitas.
b) No hay mexicano que no este indignado por la violencia. Carlos es mexicano.
c) Todo pais que es democrático está en conflicto. Existe un pais que no está en conflicto.
8. Demuestre las sigientes equivalencias o inferencias
a) ¬∃x[p(x) → ∀y¬q(x, y)] ⇔ [∀xp(x)] ∧ [∀x∃yq(x, y)]
b) [∃xp(x)] ∧ [¬∀(¬p(x) ∧ q(x))] ⇔ ¬∀x¬p(x)
c) {∀x[p(x) → ∀yq(x, y)]} ∧ [¬∀x, yq(x, y)] ⇒ ∃x¬p(x)
d ) {∀x[p(x) → (q(x) ∧ r(x))]}{¬∃x[p(x) → q(x)]} ⇒ ∀x[r(x) ∨ s(x)]

IPN-ESCOM IGMG