NOMBRE: Valentina Venegas Sepúlveda SECCIÓN: 1

PUNTAJE:

Pontificia Universidad Católica de Chile

Escuela de Ingenierı́a
Departamento de Ciencia de la Computación

IIC1253 — Matemáticas Discretas — 1’ 2021

Tarea 2 – Respuesta Pregunta 1
Para esta pregunta se asume lo siguiente: Si una persona x no conoce el rumor, o sea R(x) = 0, entonces
x no puede contar el rumor a una persona y, C(x, y) = 0 (se puede dar el caso de inventar un rumor, pero
para este ejercicio se asume que esto no pasa).

1. (R(x) ∧ C(x, y)) → R(y), con x 6= y.

Por lógica podemos concluir que esta afirmación es verdadera, ya que si una persona A que conoce un
rumor y se lo cuenta a otra persona B, B terminará conociendo el rumor. Lo demostramos con Tablas
de Verdad:

R(x) R(y) C(x, y) R(x) ∧ C(x, y) (R(x) ∧ C(x, y)) → R(y)

1 1 1 1 1
1 0 0 0 0
0 1 0 0 1
0 0 0 0 0

Podemos ver en la primera fila que se cumple.

2. ∀x. ¬(R(x) ∧ C(x, x)) ≡ ∀x. ¬R(x) ∨ ¬C(x, x)
La afirmación original se puede decir que por lógica es correcta, dado que si una persona x conoce un
rumor, no se lo puede decir a sı́ misma ya que ya lo conoce.
3. ∃x∀y. R(x) ∧ ¬C(y, x), con x 6= y
Por lógica podemos saber que esta afirmación es verdadera, ya que todo rumor parte de una persona, y
esta persona lo conoce por haberlo presenciado o incluso vivido, o sea nadie se lo contó. Lo demostramos
con Tablas de Verdad:

R(x) R(y) C(y, x) ¬C(y, x) R(x) ∧ ¬C(y, x)

1 1 1 0 0
1 0 0 1 1
0 1 0 1 0
0 0 0 1 0

Podemos concluir que es verdadero por tablas de verdad mirando la segunda fila.
4. ¬(∃x∃y∃z). C(x, y) ∧ C(y, z) ∧ C(z, x)
≡ ∀x∀y∀z. ¬(C(x, y) ∧ C(y, z) ∧ C(z, x))
≡ ∀x∀y∀z. α = ¬C(x, y) ∨ ¬C(y, z) ∨ ¬C(z, x).
Demostramos esta afirmación utilizamos Tablas de Verdad:

1
 R(x) R(y) R(z) ¬C(x, y) ¬C(y, z) ¬C(z, x) α
1 1 1 0 0 0 0
1 1 0 0 0 1 1
1 0 1 0 1 0 1
1 0 0 1 1 1 1
0 1 1 1 0 0 1
0 1 0 1 1 1 1
0 0 1 1 1 1 1
0 0 0 1 1 1 1

Si un chismoso conoce el rumor se lo puede contar a otro y este a otro, este último se lo contarı́a al
primero, cosa que no es posible (o sea puede contarlo, pero no tiene caso) ya que el primer chismoso
ya conoce el rumor, por lo tanto no pueden haber triángulos de chismosos.

5. Antes de desarrollar la fórmula, veremos qué sucede con k = 3 y K = 4:

• k=3
∃x∃y∃z. R(x) → (C(y, x) ∨ C(z, x))
• k=4
∃w∃x∃y∃z. R(w) → (C(x, w) ∨ C(y, w) ∨ C(z, w))

Teniendo esto cuenta, podemos escribir:

∃x1 ∃x2 ...∃xk . R(x1 ) → (C(x2 , x1 ) ∨ C(x3 , x1 ) ∨ ... ∨ C(xk , x1 ))

n
_
∃x1 ∃x2 ...∃xk . R(x1 ) → ( C(xi , x1 ))
i=1

Hablando de su correctitud, si para algún xi se cumple que R(xi ) = 1, tiene que existir algún xj que
le haya contado el rumor, o sea que C(xj , xi ) = 1. Se puede dar el caso de que xi sea un chismoso
original, pero para este caso no incide en la correctitud de la oración, ya que con tal de que exista un
xi que conoce el rumor y que xj fue quien se lo contó, se cumple.