Extraord in A Rios

ExFinSept: 2014*, 2015-2018.
pdf
Anónimo
Matemática Discreta y Lógica Matemática II
1º Grado en Ingeniería Informática
Facultad de Informática
Universidad Complutense de Madrid
Reservados todos los derechos.

No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
Discrete Mathematics and Mathematical Logic EXAM
Model 1 - Exam September 2014
NAME:
GROUP:
Time allowed: 3 hours

The first 8 questions are multiple choice problems. For each of them 4 answers are given,
only one of which is correct. If you know the answer write it in the square provided. Each
question answered correctly is worth 0.5 pt. If your answer is not correct, 0.16 pt will be
deducted. If you do not answer a question it will be worth 0 pt.
The last five questions are partial credit questions. In order to obtain full credit for these
problems (points in brackets), all workings must be shown. Credit will not be given for an
answer not supported by workings but the lowest mark for these questions is 0 pt.

1. Let A = {{1, 2}, {1}, ∅}, B = {{1, 2}, {2}, {1}} and C = {1, 2} be three given sets. Mark the
correct answer:
(a) B ⊆ A (b)A, B ∈ P(C)
(c)A, B ⊆ P(C) (d)None of the above
2. Let A = {0, 1, 2, 3, 4, 5} and B = {a, b, c, d} be two given sets and let R be a relation between
them defined by:
R = {(0, b), (1, a), (2, b), (3, c), (4, b), (5, d)}
Mark the correct answer:
(a) R is a total surjective but not injective function (b)R is a total injective but not surjective function
(c) R is not a function but R−1 is a function (d)None of the above
3. Let A = {a, b, c, d, e, f } be a set. Mark the correct answer:

(a) P = {{a, b, c, d, e, f }} is a partition and the corresponding equivalence relation is R = A × A
(b) P = {{a, f }, {b, c, d}, {e}} is a partition and the corresponding equivalence relation is
R = {(a, a), (b, b), (c, c), (d, d), (e, e), (f, f ), (a, f ), (c, b), (c, d), (d, c), (b, d), (d, b)}
(c) P = {{a, f }, {b}, {c, d}, {e}} is a partition and the corresponding equivalence relation is
R = {(a, a), (c, c), (d, d), (e, e), (f, f ), (a, f ), (f, a), (c, d), (d, c)}
(d)P = {{a, f }, {b}{c}, {d}, {e}} is a partition and the corresponding equivalence relation is
R = {(a, a), (b, b), (c, c), (d, d), (e, e), (f, f ), (a, f ), (f, a), (d, e), (e, d)}
4. If ⊑ is a partial ordering, then ⊑−1 is:

(a)an equivalence relation (b)a partial ordering
(c)a reflexive but not symmetric relation (d)None of the above
5. Let G = (V, E) be a graph where the set of vertices V = {0, 1, 2} × {0, 1, 2} and the set of
edges E = {(a, b)(c, d)|(a = c)or(b = d)} Mark the correct answer:
(a)The graph is not connected (b)The graph is connected, semieulerian but not eu-
lerian
(c)The graph is connected and eulerian (d)The graph is connected, but neither semieulerian
nor eulerian
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-1668147
6. Given the propositional formula ϕ ≡ ¬((¬p → r) → (p ∧ r)), a possible DNF(ϕ) is:
(a) (¬p ∧ ¬r) (b) (¬p ∧ r) ∨ (¬r ∧ p)
(c) (¬p ∨ ¬r) (d) None of the above
7. Let ϕ1 ≡ (q → p) ∧ (p ↔ ¬q) and ϕ2 ≡ ∀x¬P (x) ∧ ∃xQ(x) ∧ ¬∃x¬(P (x) → ¬Q(x))

If we have the following two assertions:
• ϕ1 is a tautology • ϕ2 is a contingency
(a) Both assertions are true (b)The first assertion is true, the second one is false
(c)The first assertion is false, the second one is true (d)Both assertions are false
1. [1 point] Prove by mathematical induction that for every natural number n,an = 2n + 12 n2n .
Indicate what type of induction you are using.
a0 = 1
a1 = 3
an = 4an−1 − 4an−2 , if n ≥ 2

2. [1 point] We define the binary relation R on N as follows:
(x, y) ∈ R iff x + y is even
Prove that R is an equivalence relation.

3. [1 point] Let A be an alphabet with 5 vowels and 21 consonants.
a) How many different 5-letter words can be made from A such that the first letter is a
vowel, there are not three consecutive consonants but each word must contain exactly
three consonants?
b) How many different 5-letter words can be made from A such that the first letter is a
vowel and each word must contain at most one consonant?
4. [1 point] Study whether the following statement is true proving it if it is the case or giving
a counterexample, otherwise.
|= ∀x(P (x) ∨ Q(x)) → ∀xP (x) ∨ ∀xQ(x)
5. [1.5 points] Convert the following reasoning into First Order Logic notation and decide,
using tableaux, if it is a valid argument:
Every computer scientist has a relative who is afraid of computers.
The relatives of any computer scientist are all computer scientists.
Some computer scientists are not afraid of computers.
—————————————————————–
Some computer scientists are afraid of computers.
¿No te llega para pagar Wuolah Pro? ¿Un año sin anuncios gratis? ¡Clic aquí!
Model 1 - Final Exam September 2015
NAME:
GROUP:

The first 8 questions are multiple choice problems. For each of them 4 answers are given, only one of which is correct.
If you know the answer write it in the square provided. Each question answered correctly is worth 0.5 pt. If your
answer is not correct, 0.16 pt will be deducted. If you do not answer a question it will be worth 0 pt.
The last five questions are partial credit questions. In order to obtain full credit for these problems (points in brackets),
all workings must be shown. Credit will not be given for an answer not supported by workings but the lowest mark for
these questions is 0 pt.
1. Let f : N × N → N be the total function defined by f (x, y) = 3 · x + 2 · y. Mark the correct answer:
(a) f is injective but not bijective (b) f is surjective but not bijective
(c) f is bijective (d) None of the above
2. Let a, b, c ∈ N such that a | (b + c), then:

(a) If a | b then a | c (b) a | (b · c)
(c) a | gcd(b, c) (d) None of the above

3. The propositional formula ((p → (q → r)) → ((p → q) → (p → r))) is a:
(a) Contradiction (b) Tautology
(c) Contingency (d) It is not a propositional formula
4. Let R be a relation defined on Z \ {0} by a R b ⇐⇒ a | b or b | a. What type of relation is R?

(a) It is an ordering but it is not an equivalence relation (b) It is an equiv. relation but it is not an ordering
(c) It is an ordering and an equivalence relation (d) None of the above
5. Given the following graph, mark the correct answer:
5 6
3 2
(a) It is hamiltoniano and eulerian (b) It is eulerian but it is not hamiltonian

(c) It is hamiltonian and if we delete vertex 4 (and
the edges incident on it) it would be semieulerian (d) It is neither hamiltonian nor eulerian
6. How many different teams of three girls and two boys can be formed if we select them from a group of six girls and
four boys?
6 4 6 4

(a) 3
+ 2
(b) 3
∗ 2
10
(c) 3,2
(d) 63 ∗ 42
7. The propositional formula (q → p) → ¬(q ∨ p) is logically equivalent to:
(a) ¬p (b) p
(c) ¬q (d) None of the above
8. Any model of the formula ∀x∃y∃z(R(x, y) ∧ R(x, z)) must have in its domain:
(a) Exactly 1 element (b) Exactly 2 elements
(c) At most 2 elements (d) At least 1 element
1. [1 point] Show by induction that for every n ∈ N1 we have

n
(2n + 1)!
Y
(2j + 1) =
j=1
2n · n!
2. [1 point] We consider poset (D42 , ⊑), where D42 = {n ∈ N | n | 42} and x ⊑ y ⇐⇒ x | y. Draw its Hasse diagram
and answer the following questions justifying your answers.
a) Is (D42 , ⊑) a totally ordered set?
b) Let S = {2, 3, 6, 7, 14, 21}, find the maximal and minimal elements of S aswell as its maximum and minimum, if
they exist. Find all upper and lower bounds of S.
3. [1 point] In a survey of 76 different sportsmen, it is found that 29 practice judo, 44 practice football and 29 basketball.
Further, 7 of them practice both judo and basketball, 9 practice both football and basketball and 11 practice both
football and judo. Only one of them practices all three sports. How many practice only judo?
4. [1 point] Given the following reasoning:

A canary is yellow if and only if any of its parents is a yellow canary.
Yellow canaries sing well.
A canary is happy if any of its parents sings well.
—————————————————————————————————
Yellow canaries are all happy.
Translate it into First Order Logic.

5. [1 point] Consider the following formulas:
ϕ1 ≡ ∀x∃y(N (x) ∧ M (y) ∧ P (x, y)).

ϕ2 ≡ ∀x∀y((P (x, y) ∧ Q(x, y)) → R(x)).
ϕ3 ≡ ∃x(N (x) ∧ ∀y(M (y) → Q(x, y))).
ψ ≡ ∃x(N (x) ∧ R(x)).
Show that {ϕ1 , ϕ2 , ϕ3 } |= ψ using a tableau.
Model 1 - Final Exam September 2015
NAME:
GROUP:

The first 8 questions are multiple choice problems. For each of them 4 answers are given, only one of which is correct.
If you know the answer write it in the square provided. Each question answered correctly is worth 0.5 pt. If your
The last five questions are partial credit questions. In order to obtain full credit for these problems (points in brackets),
all workings must be shown. Credit will not be given for an answer not supported by workings but the lowest mark for
these questions is 0 pt.

1. Let f : N × N → N be the total function defined by f (x, y) = 3 · x + 2 · y. Mark the correct answer:
(a) f is injective but not bijective (b) f is surjective but not bijective
d
(c) f is bijective (d) None of the above
Solution
f is injective ⇐⇒ f (x1 ) = f (x2 ) =⇒ x1 = x2
f is surjective ⇐⇒ ∀z ∈ Im(f ) = N ∃a ∈ Dom(f ) = N × N such that f (a) = z (In our case a = (x, y) and
f (a) = f (x, y) = z)
f is not injective:
f (2, 3) = 3 · 2 + 2 · 3 = 12
f (0, 6) = 3 · 0 + 2 · 6 = 12 and (2, 3) 6= (0, 6)
f is not surjective:
f (x, y) = z = 3 · x + 2 · y
If we take z = 1 there are no values x, y ∈ N such that f (x, y) = 3 · x + 2 · y = 1 ( If x, y ∈ N, f (0, 0) = 0 but if x 6= 0
or y 6= 0 =⇒ f (x, y) > 1. Hence it is not surjective.
——————————————————————————————————————————————————-
2. Let a, b, c ∈ N such that a | (b + c), then:
(a) If a | b then a | c (b) a | (b · c)
a
(c) a | gcd(b, c) (d) None of the above
Solution
If a | b then a | c

b + c = a · t1
If a | b + c and a | b =⇒ =⇒ a · t2 + c = a · t1 =⇒ c = a · t1 − a · t2 = a(t1 − t2 ) =⇒ a | c
b = a · t2
b) and c) are false:
If a = 2 b = 5 c = 3 =⇒ a = 2 | b + c = 5 + 3 = 8 but a = 2 does not divide b · c = 5 · 3 = 15
a = 2 does not divide gcd(b, c) = gcd(5, 3) = 1
——————————————————————————————————————————————————-
3. The propositional formula ((p → (q → r)) → ((p → q) → (p → r))) is a:
(a) Contradiction (b) Tautology
b
(c) Contingency (d) It is not a propositional formula
Solution
(p → (q → r)) → ((p → q) → (p → r)) ∼ (¬p ∨ (q → r)) → ((¬p ∨ q) → (¬p ∨ r)) ∼ (¬p ∨ (¬q ∨ r)) →
(¬(¬p ∨ q) ∨ (¬p ∨ r)) ∼ (¬p ∨ (¬q ∨ r)) → ((p ∧ ¬q) ∨ (¬p ∨ r)) ∼ ((¬p ∨ (¬q ∨ r)) → ((p ∨ ¬p) ∨ r) ∧ (¬q ∨ (¬p ∨ r))) ∼
(¬p∨(¬q ∨r)) → ((T ∨r)∧(¬q ∨(¬p∨r))) ∼ (¬p∨(¬q ∨r)) → (T ∧(¬q ∨(¬p∨r))) ∼ (¬p∨(¬q ∨r)) → (¬q ∨(¬p∨r)) ∼
(¬p ∨ ¬q ∨ r) → (¬p ∨ ¬q ∨ r) ∼ T
ϕ → ϕ ∼ ¬ϕ ∨ ϕ ∼ T
Using truth tables:
p q r q→r p → (q → r) p→q p→r (p → q) → (p → r) ((p → (q → r)) → ((p → q) → (p → r)))
0 0 0 1 1 1 1 1 1
0 0 1 1 1 1 1 1 1
0 1 0 0 1 1 1 1 1
0 1 1 1 1 1 1 1 1
1 0 0 1 1 0 0 1 1
1 0 1 1 1 0 1 1 1
1 1 0 0 0 1 0 0 1
1 1 1 1 1 1 1 1 1
——————————————————————————————————————————————————-
4. Let R be a relation defined on Z \ {0} by a R b ⇐⇒ a | b or b | a. What type of relation is R?
(a) It is an ordering but not an equivalence relation (b) It is an equiv. relation but not an ordering
d
(c) It is an ordering and an equivalence relation (d) None of the above
Solution R is an ordering ⇐⇒ R is reflexive, antisymmetric and transitive.

R is an equivalence relation ⇐⇒ R is reflexive, symmetric and transitive.
Reflexive: ∀x xRx
xRx ⇐⇒ x | x or x | x, hence it is reflexive.
Symmetric: ∀x, y xRy =⇒ yRx

xRy ⇐⇒ x | y or y | x.
yRx ⇐⇒ y | x or x | y. Hence xRy ⇐⇒ yRx, so it is symmetric.
Antisymmetric: ∀x, y xRy and yRx =⇒ x = y
It is not antisymmetric.
Counterexample: 2R6 and 6R2 but 2 6= 6.
2R6 since 2 | 6 and also 6R2 since 2 | 6 but 2 6= 6.
Transitive: ∀x, y, z xRy ∧ yRz =⇒ xRz
xRy ⇐⇒ x | y or y | x. yRz ⇐⇒ y | z or z | y. 6=⇒ xRz
It is true that if x | y and y | z =⇒ x | z and xRz

y = x · t1
=⇒ z = x(t1 · t2 )
z = y · t2
It is also true that if it is the case that y | x and z | y =⇒ z | x and xRz but
if it is the case that x | y and z | y 6=⇒ x | z or z | x
Counterexample x = 2, y = 6, z = 3 2R6 since 2 | 6 6R3 since 3 | 6 but 2 does not divide 3 and 3 does not divide
2 =⇒ 2 6 R 3 hence it is not transitive.
———————————————————————————————————————————————————–
5. Given the following graph, mark the correct answer:
5 6
3 2
(a) It is hamiltoniano and eulerian (b) It is eulerian but it is not hamiltonian
(c) It is hamiltonian and if we delete vertex 4 (and
c
the edges incident on it) it would be semieulerian (d) It is neither hamiltonian nor eulerian
Solution
deg(1) = deg(5) = deg(6) = 4
deg(2) = deg(3) = deg(7) = 3
deg(4) = 5
There are four vertices of odd degree =⇒ G is neither eulerian nor semieulerian. (so a) and b) are false).
It is hamiltonian: a hamiltonian cycle is 1 2 4 6 7 5 3 1. (so d) is false).
If we delete vertex 4, the graph we obtain is:
5 6
3 2

deg(1) = 4
deg(2) = deg(3) = deg(7) = 2
deg(5) = deg(6) = 3
There are exactly two vertices of odd degree =⇒ G is semieulerian (so c) is true).
————————————————————————————————————————————–
6. How many different teams of three girls and two boys can be formed if we select them from a group of six girls and
four boys?
6 4 6 4

(a) 3
+ 2
(b) 3
∗ 2
10 b
(c) 3,2
(d) 63 ∗ 42
Solution
The order is not important, so we consider combinations: The team formed by {1,2,3,4,5} is exactly the same as the
team {2,4,5,1,3}.
6

The team must be formed exactly by three girls and two boys. The girls can be selected in 3
ways, since there are 6
4

girls. The two boys can be selected in 2
ways, since there are 4 boys.
6 4 6 4

The final solution is: 3
· 2
since we have to combine the 3
ways of selecting the three girls with the 2
ways
of selecting the two boys.
————————————————————————————————————————————–
7. The propositional formula (q → p) → ¬(q ∨ p) is logically equivalent to:
(a) ¬p (b) p
a
(c) ¬q (d) None of the above
Solution
(q → p) → ¬(q ∨ p) ∼ (¬q ∨ p) → (¬q ∧ ¬p) ∼ ¬(¬q ∨ p) ∨ (¬q ∧ ¬p) ∼ (q ∧ ¬p) ∨ (¬q ∧ ¬p) ∼ (q ∨ ¬q) ∧ ¬p ∼ T ∧ ¬p ∼ ¬p
Using truth tables:

p q q→p q∨p ¬(q ∨ p) (q → p) → ¬(q ∨ p) ¬p ¬q
0 0 1 0 1 1 1 1
0 1 0 1 0 1 1 0
1 0 1 1 0 0 0 1
1 1 1 1 0 0 0 0
We can see that the truth table of (q → p) → ¬(q ∨ p) is exactly the same as that of ¬p so they are logically equivalent.
——————————————————————————————————————————————————-
8. Any model of the formula ∀x∃y∃z(R(x, y) ∧ R(x, z)) must have in its domain:
(a) Exactly 1 element (b) Exactly 2 elements
d
(c) At most 2 elements (d) At least 1 element
Solution
Since the formula begins with ∀x, x can be any element of the domain. If we have just one element a, x = a and
we must choose a certain element y and a certain element z such that R(x, y) and R(x, z) but, since there are no
restrictions, we can take y = z = a and RA = {(a, a)}.
If we have two elements a and b, x could be a and it could be b. We must choose a certain element y and a certain
element z such that R(x, y) and R(x, z) for each one of the different values of x. Since there are no restrictions there
are quite a few possibilities:
a) If x = a we can take y = a, z = a =⇒ (a, a) ∈ RA
If x = b we can take y = a, z = a =⇒ (b, a) ∈ RA
so RA ⊇ {(a, a), (b, a)} in order that the structure is a model of the given formula (for our choices of y, z).
b) If x = a we can take y = a, z = b =⇒ (a, a), (a, b) ∈ RA
If x = b we can take y = b, z = a =⇒ (b, b), (b, a) ∈ RA
so RA ⊇ {(a, a), (a, b), (b, b), (b, a)} in order that the structure is a model of the given formula (for our choices of
y, z).
These are not the only possibilities
..

.
If we have three elements a, b and c, x could be a, it could be b or it could be c. We must choose a certain element
y and a certain element z such that R(x, y) and R(x, z) for each one of the different values of x. Since there are no
restrictions there are quite a few possibilities:
a) If x = a we can take y = a, z = a =⇒ (a, a) ∈ RA
If x = b we can take y = c, z = b =⇒ (b, c), (b, b) ∈ RA
If x = c we can take y = b, z = c =⇒ (c, b), (c, c) ∈ RA
so RA ⊇ {(a, a), (b, c), (b, b), (c, b), (c, c)} in order that the structure is a model of the given formula (for our
choices of y, z).
There are many other possibilities.
..
.
Hence, we have seen that there are models with 1, 2, 3 elements, so a), b) and c) are false. The domain A of any
structure is A 6= ∅ so every model has at least one element in its domain.
———————————————————————————————————————————————–
1. [1 point] Show by induction that for every n ∈ N1 we have
n
Y (2n + 1)!
(2j + 1) =
j=1
2n · n!
Solution
Basis step:
Q1 (2 · 1 + 1)! 3! 3!
n=1 j=1 (2j + 1) = 2 · 1 + 1 = 3 = = 1 = =3 It holds.
21 · 1! 2 · 1! 2
Qk (2k + 1)!
(IH) S(k) ≡ j=1 (2j + 1) =
2k · k!
Inductive Step S(k) =⇒ S(k + 1)
?
Qk+1 (2(k + 1) + 1)! (2k + 3)!
S(k + 1) ≡ j=1 (2j + 1) = = k+1
2k+1 · (k + 1)! 2 · (k + 1)!
(2k + 1)! (2k + 1)! 2k + 2 (2k + 3)(2k + 2)(2k + 1)!

Qk+1 hQ i
k
j=1 (2j+1) = j=1 (2j+1) (2(k+1)+1) = (2k+3) = (2k+3) = =
2k · k! 2k · k! 2k + 2 2k · k! · 2(k + 1)
↑
Qk (2k+1)!
I.H. j=1 (2j + 1) = 2k ·k!
(2k + 3)! (2k + 3)!
= k+1 = k+1
2 · (k + 1)k! 2 · (k + 1)!
2. [1 point] We consider poset (D42 , ⊑), where D42 = {n ∈ N | n | 42} and x ⊑ y ⇐⇒ x | y. Draw its Hasse diagram
and answer the following questions justifying your answers.
a) Is (D42 , ⊑) a totally ordered set?
b) Let S = {2, 3, 6, 7, 14, 21}, find the maximal and minimal elements of S aswell as its maximum and minimum, if
they exist. Find all upper and lower bounds of S.
Solution
42 = 2 · 3 · 7 =⇒ D42 = {1, 2, 3, 7, 6, 14, 21, 42}
42
•
6 14 21
• • •
3
2• • • 7
•
1
a) ⊑ is a total ordering on A ⇐⇒ ∀x, y ∈ A x ⊑ y or y ⊑ x

It is not a total ordering on D42 since 3 does not divide 14 and 14 does not divide 3.
b) S = {2, 3, 6, 7, 14, 21}
We say an element x ∈ S is
1) maximal in S if there is no element y ∈ S such that x ⊏ y.
2) the greatest element of S or maximum of S (max(S)), if y ⊑ x, ∀y ∈ S.
3) minimal in S if there is no element y ∈ S such that y ⊏ x.
4) the least element of S or minimum of S (min(S)), if x ⊑ y, ∀y ∈ S.
The maximal elements of S are 6, 14 and 21 since there is no other element y of S such that 6 | y or 14 | y or
21 | y.
The minimal elements of S are 2, 3 and 7 since there is no other element y of S such that y | 2 or y | 3 or y | 7.
S has neither maximum nor minimum. There is no element x in S such that x | y for every y ∈ S.
There is no element x in S such that y | x for every y ∈ S.
Sup(S) = {x ∈ D42 | x is an upper bound of S} = {x ∈ D42 | y | x, ∀y ∈ S} = {42}
Inf (S) = {x ∈ D42 | x is a lower bound of S} = {x ∈ D42 | x | y, ∀y ∈ S} = {1}
3. [1 point] In a survey of 76 different sportsmen, it is found that 29 practice judo, 44 practice football and 29 basketball.
Further, 7 of them practice both judo and basketball, 9 practice both football and basketball and 11 practice both
football and judo. Only one of them practices all three sports. How many practice only judo?
Solution
|J| = 29
|F | = 44
|B| = 29
|J ∩ B| = 7
|F ∩ B| = 9
|J ∩ F | = 11
|J ∩ F ∩ B| = 1
Those who practice only judo is given by the set J ∩ (F ∪ B)
J = J ∩ U = J ∩ ((F ∪ B) ∪ (F ∪ B)) = (J ∩ (F ∪ B)) ∪ (J ∩ (F ∪ B)) (U is the universal set).
Since they are disjoint sets =⇒
|J| = |J ∩ ((F ∪ B)| + |J ∩ (F ∪ B)| =⇒ |J ∩ ((F ∪ B)| = |J| − |J ∩ (F ∪ B)|
|J ∩(F ∪B)| = |(J ∩F )∪(J ∩B)| = |J ∩F |+|J ∩B|−|(J ∩F )∩(J ∩B)| = |J ∩F |+|J ∩B|−|J ∩F ∩B| = 11+7−1 = 17
|J ∩ ((F ∪ B)| = |J| − |J ∩ (F ∪ B)| = 29 − 17 = 12
4. [1 point] Given the following reasoning:
A canary is yellow if and only if any of its parents is a yellow canary.

Yellow canaries sing well.
A canary is happy if any of its parents sings well.
—————————————————————————————————
Yellow canaries are all happy.
Translate it into First Order Logic.

Solution
Signature:
C|1 C(x) ≡ x is a canary.
Y |1 Y (x) ≡ x is yellow.
P |2 P (x, y) ≡ y is a parent of x.
SW |1 SW (x) ≡ x sings well.
H|1 H(x) ≡ x is happy.
∀x(C(x) → (Y (x) ↔ ∃y(P (x, y) ∧ C(y) ∧ Y (y))))

∀x((C(x) ∧ Y (x)) → SW (x))
∀x((C(x) ∧ ∃y(P (x, y) ∧ SW (y))) → H(x))
—————————————————————-
∀x(C(x) ∧ Y (x) → H(x))

ϕ1 ≡ ∀x∃y(N (x) ∧ M (y) ∧ P (x, y)).
ϕ2 ≡ ∀x∀y((P (x, y) ∧ Q(x, y)) → R(x)).
ϕ3 ≡ ∃x(N (x) ∧ ∀y(M (y) → Q(x, y))).
ψ ≡ ∃x(N (x) ∧ R(x)).
Solution
1 ∀x∃y(N (x) ∧ M (y) ∧ P (x, y))
2 ∀x∀y((P (x, y) ∧ Q(x, y)) → R(x))
3 ∃x(N (x) ∧ ∀y(M (y) → Q(x, y)))
4 ¬∃x(N (x) ∧ R(x))
5 N (c) ∧ ∀y(M (y) → Q(c, y)) (Rδ (3)) c new constant
6 N (c)
7 ∀y(M (y) → Q(c, y)) (Rα (5)))
8 ∃y(N (c) ∧ M (y) ∧ P (c, y)) (Rγ (1)) with c
9 N (c) ∧ M (d) ∧ P (c, d) (Rδ (8)) d new constant
10 N (c)
11 M (d) ∧ P (c, d) (Rα (9))
M (d)

12
13 P (c, d) (Rα (11))
14 ∀y((P (c, y) ∧ Q(c, y)) → R(c)) (Rγ (2)) with c
15 (P (c, d) ∧ Q(c, d)) → R(c) (Rγ (14)) with d
¬(P (c, d) ∧ Q(c, d)) 16 17 R(c) (Rβ (15))
¬P (c, d) 18 19 ¬Q(c, d) Rβ (16))

♯
21 M (d) → Q(c, d) Rγ (7)) 20 ¬(N (c) ∧ R(c) (Rγ (4)) with c
¬M (d) 22 23 Q(c, d) ¬N (c) 24 25 ¬R(c) (Rβ (20))

♯ ♯ ♯ ♯
(September 2016)
NAME:
GROUP:
Read the following instructions carefully:
Write your name and group in the space provided.

The first 8 questions are multiple choice problems. For each of them 4 answers are given, only one
of which is correct. Mark only one choice. Each question answered correctly is worth 0.5 pt. If your
The last five questions are partial credit questions. In order to obtain full credit for these problems
(points in brackets), all workings must be shown. Credit will not be given for an answer not supported
by workings but the lowest mark for these questions is 0 pt.
1. Let A, B and C be arbitrary sets. Mark the correct answer:
(A \ B) ∩ C = A \ (B ∩ C)
(A \ B) ∩ C = (A ∩ C) \ (B ∩ C)

(A \ B) ∩ C = (A \ C) ∩ (B \ C)
(A \ B) ∩ C = (A ∪ C) \ B
2. Consider function f : {X ∈ P(N)|X is finite } → N defined by f (A) = sum of the elements of A. Mark
the correct answer:
f is surjective but not injective.

f is bijective.
f is injective, but not surjective.
f is neither injective nor surjective.
3. Let A = {0, 1, 2} × {2, 5, 8}. A partial order relation R on A is defined by
(a, b)R(c, d) ⇐⇒ (a + b) | (c + d)
A has 4 minimal elements and 4 maximal elements

4. Given the following sets P(N), Q, (N → N), mark the correct answer:
All three are uncountable sets.

All three are countable sets.
The second set is the only countable set.
The first set is uncountable, but the second and third are countable sets.
5. Let the set A = {1, 2, 3, 4, 5, 6, 7}. Consider the binary relation on A defined by
aRb ⇐⇒ a + b > 3
R is an ordering but not an equivalence relation.

R is an equivalence relation, but it is not an ordering.
R is an ordering and an equivalence relation.
None of the above.
6. In how many different ways can all the letters of CANSINAS be arranged?
8

2,2,2,1,1
8

2
8!

8
8 8 8 8
2 2 2 1 1
7. Consider the following propositions:
p : Peter has studied

q : Quincy has studied
r : Roger has studied
The correct formalization of the statement “At most one of the three has studied” is:
(p ∧ ¬q ∧ ¬r) ∨ (¬p ∧ q ∧ ¬r) ∨ (¬p ∧ ¬q ∧ r).
(p ∧ ¬q ∧ ¬r) ∧ (¬p ∧ q ∧ ¬r) ∧ (¬p ∧ ¬q ∧ r).
(p → (¬q ∧ ¬r)) ∨ (q → (¬p ∧ ¬r)) ∨ (r → (¬p ∧ ¬q)).
(p → (¬q ∧ ¬r)) ∧ (q → (¬p ∧ ¬r)) ∧ (r → (¬p ∧ ¬q)).
8. Let T be a completed tableau for the propositional formula ¬ϕ. If every branch of T is open we may
claim:
ϕ cannot be a tautology.
ϕ cannot be a contradiction.
ϕ cannot be a contingency.
None of the above.
1. [1 point] Prove by induction that the following property holds for every positive natural number.
n
X
i2 2i = (n2 + 3 − 2n)2n+1 − 6
i=1
2. [1 point] Let G = (V, E) be an undirected graph where V = {n ∈ N | 1 ≤ n ≤ 9} and

E = {{u, v} ∈ V × V | u 6= v and u ∗ v is not prime}. Is G hamiltonian? Is G eulerian? Justify your
answers.
3. [1 point]There are 50 tables in a restaurant 32 of which are used for dinners, 15 for group celebrations
and 20 for snacks, but there are 5 tables which may be used both for dinners and group celebrations.
9 other tables may be used both for dinners and snacks, but none may be used for all three. No table
remains unused. Determine, justifying your answers:
a) How many tables are used only for dinners?
b) How many tables are used both for group celebrations and for snacks?
ϕ1 ≡ ∀x∃y(N (x) ∧ M (y) ∧ P (x, y)).
ϕ2 ≡ ∀x∀y((P (x, y) ∧ Q(x, y)) → R(x)).
ϕ3 ≡ ∃x(N (x) ∧ ∀y(M (y) → Q(x, y))).
ψ ≡ ∃x(N (x) ∧ R(x)).

5. [1 point] Consider the following argument:
ϕ1 = Whoever is sad does not smile.
ϕ2 = Champions have advisors and smile.
ϕ3 = There is no idealist who is not a champion.
ϕ4 = I know an idealist that does not smile
ψ= Not every idealist is sad.
Translate the reasoning into First Order Logic such that the conclusion is a logical consequence of the
premises. (You are not supposed to prove it but you should be convinced that this is the case.)
EXAMEN de Matemática Discreta y Lógica Matemática
(Soluciones Septiembre 2016)
1. Si A, B y C son conjutos cualesquiera, marca el enunciado correcto:
(A \ B) ∩ C = A \ (B ∩ C)
X (A \ B) ∩ C = (A ∩ C) \ (B ∩ C)
(A \ B) ∩ C = (A \ C) ∩ (B \ C)
(A \ B) ∩ C = (A ∪ C) \ B
Solución
(A ∩ C) \ (B ∩ C) = (A ∩ C) ∩ (B ∩ C) = (A ∩ C) ∩ (B ∪ C) = ((A ∩ C) ∩ B) ∪ ((A ∩ C) ∩ C) =
(A ∩ B ∩ C) ∪ (A ∩ (C ∩ C)) = (A ∩ B ∩ C) ∪ (A ∩ ∅) = ((A ∩ B) ∩ C) = (A \ B) ∩ C
2. Considera la función f : P(N) → N definida como f (A) = suma de los elementos de A. Indica el
enunciado correcto:
X f no es inyectiva pero sı́ es sobreyectiva.
f es biyectiva.
f es inyectiva pero no es sobreyectiva.
f no es ni inyectiva ni sobreyectiva.

Solución
f no es inyectiva. (f inyectiva ⇐⇒ f (x1 ) = f (x2 ) =⇒ x1 = x2 ⇐⇒ x1 6= x2 =⇒ f (x1 ) 6= f (x2 ))
Contraejemplo: f ({1, 3, 5}) = f ({3, 6}) pero {1, 3, 5} 6= {3, 6}
f ({1, 3, 5}) = 1 + 3 + 5 = 9
f ({3, 6}) = 3 + 6 = 9
f es sobreyectiva. (ran(f ) = N ⇐⇒ ∀y ∈ N, ∃A ∈ {X ∈ P(N)|X es finito } tal que f (A) = y)

Sea y = n ∈ N entonces ∃A ∈ {X ∈ P(N)|X es finito } tal que f (A) = n Podemos coger A = {n}
entonces f (A) = n
3. Sea A = {0, 1, 2} × {2, 5, 8}. Considera la relación de orden parcial R definida sobre A como
(a, b)R(c, d) ⇐⇒ (a + b) | (c + d)
Indica el enunciado correcto:
A tiene 4 elementos minimales y 4 maximales

X A tiene 4 elementos minimales y 5 maximales
Solución
(0, 8) •
(2, 2) • (2,8) • • (1, 5) • (1,8)
(0, 2) • (0, 5) • • (1, 2) • (2,5)
Los elementos minimales de A son todos los elementos x ∈ A tales que no hay ningún elemento y ∈ A
tal que yRx.
Hay cuatro elementos que verifican la condición: (0,2), (0,5), (1,2) y (2,5).
Los elementos maximales de A son todos los elementos x ∈ A tales que no hay ningún elemento y ∈ A
tal que xRy.
Hay cinco elementos que verifican la condición: (0,8), (2,8), (1,5), (1,8) y (2,5).
(2,5) es a la vez minimal y maximal ya que no hay elementos de A que estén por encima ni por debajo.
4. Dados los siguientes conjuntos P(N), Q, (N → N),marca el enunciado correcto:
Los tres conjuntos son no numerables.
Los tres conjuntos son numerables.
X El segundo es el único numerable.
El primero no es numerable pero el segundo y el tercero sı́ lo son.
Solución
Tenemos los siguientes resultados:
Teorema
P(N) es un conjunto infinito no numerable.
Teorema
a) A es numerable sii existe una

inyección f : A −→ N. (A ≤c N).

b) A 6= ∅, A es numerable sii existe una función suprayectiva g : N −→ A.
Q = Q+ ∪ {0} ∪ Q−
Q+ = {x ∈ Q|x > 0} es numerable. Q− = {x ∈ Q|x < 0} es numerable.
Podemos definir f : Q+ −→ N inyectiva.
f(m m n
n)= 2 3 (m, n son primos entre sı́.)
Como la unión finita de conjuntos numerables es numerable, se verifica que Q es numerable.
(N → N) es numerable.
Vamos a suponer que es numerable y llegaremos a una contradicción.
Aplicando el teorema, si suponemos que es numerable existe una función suprayectiva g : N −→ (N →
N). Llamamos g(i) = gi Luego (N → N) = {g0 , g1 , g2 , . . .}.
Construimos una función h : N → N tal que h 6= gi ∀i luego g no puede ser suprayectiva. Contradicción.
Definimos h como sigue: h(j) = gj (j) + 1 (Le sumamos 1 a gj (j) para que h(j) 6= gj (j))
Vamos a probar que h 6= gi ∀i. (Si f1 , f2 : N → N son funciones f1 = f2 ⇐⇒ ∀x ∈ N f1 (x) = f2 (x))
Sea i un ı́ndice arbitrario i = i0 h 6= gi0 ya que existe un número natural n ∈ N tal que h(n) 6= gi0 (n).
Tomamos n = i0 .
h(i0 ) = gi0 (i0 ) + 1 6= gi0 (i0 ) =⇒ h 6= gi0
5. Sea el conjunto A = {1, 2, 3, 4, 5, 6, 7}. Considera la relación binaria definida sobre A como
aRb ⇐⇒ a + b > 3
Indica el enunciado correcto:
R es de orden pero no de equivalencia

R es de equivalencia pero no de orden
R es de orden y equivalencia.
X Ninguna de las anteriores.
Solución
R es una relación de equivalencia ⇐⇒ R es reflexiva, simétrica y transitiva.
R es una relación de orden ⇐⇒ R es reflexiva, antisimétrica y transitiva.
Reflexiva: ∀x xRx ⇐⇒ ∀x x + x > 3. No es cierta.
Contraejemplo: x = 1 1R1 ⇐⇒ 1 + 1 > 3 que, evidentemente, es falso. Esto permite ya probar que R
no es de equivalencia ni de orden.
A continuación vamos a estudiar si las otras propiedades se cumplen.

Simétrica: ∀x, y xRy =⇒ yRx Es cierta.
xRy ⇐⇒ x + y > 3 =⇒ y + x > 3 ( ya que y + x = x + y) ⇐⇒ yRx
Transitiva: ∀x, y, z xRy ∧ yRz =⇒ xRz Es falso.
xRy ⇐⇒ x + y > 3 yRz ⇐⇒ y + z > 3 pero, no es necesariamente cierto que x + z > 3
Contraejemplo: x = 1 y = 3 z = 1
1R3 ⇐⇒ 1 + 3 > 3 3R1 ⇐⇒ 3 + 1 > 3 pero 1 + 1 ≯ 3 =⇒ 1 6 R1 luego no es transitiva.
Antisimétrica: ∀x, y xRy ∧ yRx =⇒ x = y Es también falso.

Contraejemplo: x = 1 y = 3
1R3 ⇐⇒ 1 + 3 > 3 3R1 ⇐⇒ 3 + 1 > 3 pero 1 6= 3 luego no es antisimétrica.
6. ¿ De cuántas maneras diferentes puede reordenarse la palabra CANSINAS?

8

X 2,2,2,1,1
8

2
8!
8
8 8 8 8
2 2 2 1 1
Solución
número de C=1
número de A=2
número de N=2
número de S=2
número de I=1
Hay que tener en cuenta que por cada palabra que hayamos escrito, por ejemplo, CANSINAS si
intercambiamos las enes la palabra obtenida es de nuevo CANSINAS y análogamente si intercambiamos
las aes y las eses.
8 8!

Luego la solución final es 2,2,2,1,1
= 2!2!2!1!1!
7. Considerando los sı́mbolos de proposición siguientes:
p : Pedro ha estudiado
q : Quique ha estudiado
r : Ramón ha estudiado
La formalización correcta para el enunciado “A lo sumo uno de los tres ha estudiado” serı́a
(p ∧ ¬q ∧ ¬r) ∨ (¬p ∧ q ∧ ¬r) ∨ (¬p ∧ ¬q ∧ r).

(p ∧ ¬q ∧ ¬r) ∧ (¬p ∧ q ∧ ¬r) ∧ (¬p ∧ ¬q ∧ r).
(p → (¬q ∧ ¬r)) ∨ (q → (¬p ∧ ¬r)) ∨ (r → (¬p ∧ ¬q)).
X (p → (¬q ∧ ¬r)) ∧ (q → (¬p ∧ ¬r)) ∧ (r → (¬p ∧ ¬q)).
Solución
Hay cuatro posibilidades:
Pedro ha estudiado y los otros dos no.
Quique ha estudiado y los otros dos no.
Ramón ha estudiado y los otros dos no.
Ni Pedro ni Quique ni Ramón han estudiado.
Pedro ha estudiado y los otros dos no, podemos formalizarlo como (p → (¬q ∧ ¬r)) y
si es Quique el que ha estudiado lo formalizaremos como (p → (¬q ∧ ¬r)) ∧ (q → (¬p ∧ ¬r))
Luego la formalización final es (p → (¬q ∧ ¬r)) ∧ (q → (¬p ∧ ¬r)) ∧ (r → (¬p ∧ ¬q)).
Si Pedro estudia pero Quique y Ramón no, entonces (p → (¬q ∧ ¬r)) es cierta pero también lo es
(q → (¬p ∧ ¬r)) ya que como Quique no ha estudiado, ¬q es cierta lo que implica que (q → (¬p ∧ ¬r))
es cierta. (r → (¬p ∧ ¬q)) también es cierta ya que Ramón tampoco ha estudiado. Luego las tres partes
son ciertas y en consecuencia (p → (¬q ∧ ¬r)) ∧ (q → (¬p ∧ ¬r)) ∧ (r → (¬p ∧ ¬q)) también lo es.
Análogamente la segunda y la tercera posibilidad.
Observemos que la cuarta posibilidad está incluida: si Pedro no ha estudiado (p → (¬q ∧ ¬r)) es cierta
ya que ¬p lo es y si Quique tampoco estudia (q → (¬p ∧ ¬r)) es cierta. Análogamente si Ramón no
estudia (r → (¬p ∧ ¬q)) es cierta. Luego las tres partes son ciertas y ası́ (p → (¬q ∧ ¬r)) ∧ (q →
(¬p ∧ ¬r)) ∧ (r → (¬p ∧ ¬q)) también lo es.
8. Sea T un tableau terminado construido a partir de la fórmula proposicional ¬ϕ. Si todas las ramas de
T están abiertas se puede asegurar que:
X ϕ no puede ser una tautologı́a.

ϕ no puede ser una contradicción.
ϕ no puede ser una contingencia.
Ninguna de las anteriores.

Solución
Si todas las ramas de T están abiertas ¬ϕ es una tautologı́a o una contingencia, pero no puede ser una
contradicción =⇒ ϕ no puede ser una tautologı́a.
Se verifica: ϕ es una tautologı́a ⇐⇒ ¬ϕ es una contradicción.
1. [1 punto] Demuestra por inducción la siguiente propiedad para todo número natural positivo.
n
X
i2 2i = (n2 + 3 − 2n)2n+1 − 6
i=1
Solución:
P1
Caso Base: n = 1 i=1 i2 2i = 12 · 21 = 1 · 2 = 2 = (12 + 3 − 2 · 1)22 − 6 = 2 · 4 − 6 = 8 − 6 = 2
Luego es cierto.
Paso Inductivo S(k) =⇒ S(k + 1)

Pk
(HI) S(k) ≡ i=1 i2 2i = (k 2 + 3 − 2k)2k+1 − 6
Pk+1 ?
S(k + 1) ≡ i=1 i2 2i = ((k + 1)2 + 3 − 2(k + 1))2(k+1)+1 − 6 = (k 2 + 2k + 1 + 3 − 2k − 2)2k+2 − 6 =
(k 2 + 2)2k+2 − 6
H.I.
Pk
i=1 i2 2i =(k2 +3−2k)2k+1 −6
Pk+1 Pk ↓
i2 2i = i=1 i2 2i + (k + 1)2 2k+1 = (k 2 + 3 − 2k)2k+1 − 6 + (k + 1)2 2k+1 = 2k+1 (k 2 + 3 − 2k + (k + 1)2 )-
i=1
−6 = 2k+1 (k 2 + 3 − 2k + k 2 + 2k + 1) − 6 = 2k+1 (2k 2 + 4) − 6 = 2k+1 · 2(k 2 + 2) − 6 = 2k+2 (k 2 + 2) − 6
2. [1 punto] Sea G = (V, E) un grafo no dirigido tal que V = {n ∈ N | 1 ≤ n ≤ 9} y
E = {{u, v} ∈ V × V | u 6= v y u ∗ v no es primo}. ¿Es G hamiltoniano? ¿Es G euleriano? Justifica tus
respuestas.
Solución
Los vértices son {1, 2, 3, . . . , 9}.
Hay una arista {u, v} entre los vértices u y v sii u ∗ v no es primo.
Luego 1 está unido sólo a los vértices 4,6,8 y 9 =⇒ gr(1) = 4
2, 3, 5 y 7 son primos luego están unidos a todos los vértices salvo a sı́ mismo y al 1 =⇒ gr(2) =
gr(3) = gr(5) = gr(7) = 7
4, 6, 8 and 9 no son primos luego están unidos a todos los vértices salvo a sı́ mismo =⇒ gr(4) = gr(6) =
gr(8) = gr(9) = 8
G es euleriano ⇐⇒ todo vértice es de grado par.
Luego G no es euleriano ya que hay cuatro vértices de grado impar.

Un ciclo hamiltoniano es un ciclo que visita todos los vértices de un grafo. Un grafo es hamiltoniano
si contiene un ciclo hamiltoniano.
G es hamiltoniano: 1 9 2 3 4 5 6 7 8 1 Ciclo hamiltoniano.
3. [0,5 puntos] De las 50 mesas de un restaurante, 32 se usan para cenas, 15 para celebraciones grupales
y 20 para tapeo, aunque hay 5 que se pueden usar tanto para cenas como para celebraciones grupales
y 9 que sirven para tapeo y para cenas. Sin embargo no hay ninguna que sirva para las tres cosas.
Ninguna mesa queda sin utilizar. Calcula razonadamente:
a) Cuántas mesas sirven solo para cenas.
b) Cuántas para celebraciones grupales y tapeo.
Solución
|C ∪ G ∪ T | = 50

|C| = 32 (Cenas)
|G| = 15 (Celebraciones grupales)
|T | = 20 (Tapas)
|C ∩ G| = 5
|C ∩ T | = 9
|C ∩ G ∩ T | = 0
a) Las mesas que se usan solo para cenas vienen dadas por el conjunto: C ∩ (G ∪ T )
C = C ∩U = C ∩((G ∪ T )∪(G∪T )) = (C ∩(G ∪ T ))∪(C ∩(G∪T )) (U es el conjunto universal).
Como son conjuntos disjuntos ((C ∩ (G ∪ T )) ∩ (C ∩ (G ∪ T )) = C ∩ (G ∪ T ) ∩ (G ∪ T ) = ∅) =⇒
|C| = |C ∩ ((G ∪ T )| + |C ∩ (G ∪ T )| =⇒ |C ∩ ((G ∪ T )| = |C| − |C ∩ (G ∪ T )|
|C ∩ (G ∪ T )| = |(C ∩ G) ∪ (C ∩ T )| = |C ∩ G|+ |C ∩ T | −|(C ∩ G) ∩ (C ∩ T )| = |C ∩ G|+ |C ∩ T |−
−|C ∩ G ∩ T | = 5 + 9 − 0 = 14
|C ∩ ((G ∪ T )| = |C| − |C ∩ (G ∪ T )| = 32 − 14 = 18
b) |C ∪ G ∪ T | = |C| + |G| + |T | − (|C ∩ G|+ |C ∩ T | + |G ∩ T |) + |C ∩ G ∩ T | =⇒
|G ∩ T | = |C| + |G| + |T | − |C ∩ G| − |C ∩ T | + |C ∩ G ∩ T | − |C ∪ G ∪ T |
|G ∩ T | = 32 + 15 + 20 − 5 − 9 + 0 − 50 =⇒ |G ∩ T | = 67 − 14 − 50 = 3
4. [1,25 puntos] Considera las siguientes fórmulas:

ϕ1 ≡ ∀x∃y(N (x) ∧ M (y) ∧ P (x, y)).
ϕ2 ≡ ∀x∀y((P (x, y) ∧ Q(x, y)) → R(x)).
ϕ3 ≡ ∃x(N (x) ∧ ∀y(M (y) → Q(x, y))).
ψ ≡ ∃x(N (x) ∧ R(x)).
Demuestra que {ϕ1 , ϕ2 , ϕ3 } |= ψ usando un tableau.
Solución
1 ∀x∃y(N (x) ∧ M (y) ∧ P (x, y))
2 ∀x∀y((P (x, y) ∧ Q(x, y)) → R(x))
3 ∃x(N (x) ∧ ∀y(M (y) → Q(x, y)))
4 ¬∃x(N (x) ∧ R(x))
5 N (c) ∧ ∀y(M (y) → Q(c, y)) (Rδ (3)) c constante nueva
6 N (c)
7 ∀y(M (y) → Q(c, y)) (Rα (5))
8 ¬(N (c) ∧ R(c)) (Rγ (4))
¬N (c) 9 10 ¬R(c) (Rβ (8))

♯
11 ∃y(N (c) ∧ M (y) ∧ P (c, y)) (Rγ (1))
12 N (c) ∧ M (d) ∧ P (c, d) (Rδ (11)) d constante nueva
13 N (c)
14 M (d) ∧ P (c, d) (Rα (12))

15 M (d)
16 P (c, d) (Rα (14))
17 ∀y((P (c, y) ∧ Q(c, y)) → R(c)) (Rγ (2))
18 (P (c, d) ∧ Q(c, d)) → R(c) (Rγ (17))
¬(P (c, d) ∧ Q(c, d)) 19 20 R(c) (Rβ (18))

♯
¬P (c, d)
♯ 21 ¬Q(c, d) (Rβ (19))
22 M (d) → Q(c, d) (Rγ (7))
¬M (d) Q(c, d) (Rβ (22))

♯ ♯
5. [1,25 puntos] Considera la siguiente argumentación:

ϕ1 = Las personas tristes no sonrı́en.
ϕ2 = Los campeones tienen asesores y sonrı́en.
ϕ3 = No hay idealistas que no sean campeones.
ϕ4 = Conozco a un idealista que no sonrı́e
ψ= No por ser idealista hay que ser triste.
Formaliza la argumentación en lógica de primer orden de manera que se pueda demostrar que ψ es
consecuencia lógica del resto de fórmulas. (Aunque no se pide demostrarlo, cada uno debe razonarlo
para sı́ mismo de manera que quede convencido de que la conclusión es en efecto consecuencia lógica
de las premisas) Solución
Signatura:
T |1 T (x) ≡ x es triste.
S|1 S(x) ≡ x sonrı́e.
C|1 C(x) ≡ x es un campeón.
A|2 A(x, y) ≡ y es un asesor de x. (También se podrı́a formalizar por A|1 A(x) ≡ x tiene asesores.)
I|1 I(x) ≡ x es un idealista.
∀x(T (x) → ¬S(x))
∀x(C(x) → ∃y(A(x, y) ∧ S(x)))
¬∃x(I(x) ∧ ¬C(x))
∃x(I(x) ∧ ¬S(x))
——————————————————
¬∀x(I(x) → T (x))
Septiembre 2017
NOMBRE:
GRUPO:
Lee atentamente las siguientes instrucciones:

NO puedes usar calculadora. Desconecta el teléfono móvil (si lo tienes contigo).
El examen dura 3 horas.
Cada una de las siete primeras preguntas es tipo test y tiene una única respuesta correcta. Cada pregunta
respondida correctamente puntuará 0,5 puntos. Cada pregunta respondida incorrectamente puntuará -0,15
puntos. Las preguntas sin contestar puntuarán 0 puntos. En ningún caso el resultado final será negativo.
En cada una de las preguntas a desarrollar aparece la puntuación máxima que puede obtenerse al responderlas.
La mı́nima puntuación que puede obtenerse en estas preguntas es 0.
1. Sea A ⊆ P(B), A 6= ∅. Indica la respuesta correcta:

S
A∈B
S
A⊆B
S
A ⊆ P(B)

2. Definimos la relación R ⊆ N × N del siguiente modo:
xRy ⇐⇒ (x · y = x) x, y ∈ N
Indica la respuesta correcta:
R es reflexiva.
R es antirreflexiva.
R es antisimétrica.
Ninguna de las respuestas anteriores.
3. Sea f : Z × Z → Z definida ası́:

f (n, m) = 3n + 2m n, m ∈ Z
Indica la respuesta correcta.
f es inyectiva pero no suprayectiva.

f es suprayectiva pero no inyectiva.
f es biyectiva.
f no es inyectiva ni suprayectiva.
4. Dados los siguientes diagramas de Hasse, indica la respuesta correcta.
• •
• • • •
• • • •
• • •
(1) (2)
(1) y (2) tienen supremo e ı́nfimo .
(1) y (2) tienen máximo y mı́nimo.
(1) y (2) tienen maximales y minimales.
5. Un grafo no dirigido tiene 11 nodos y 15 aristas. Si 10 de los nodos tienen grado 2, entonces:
El otro es de grado 9 y el grafo es euleriano.
El otro es de grado 9 y el grafo es semieuleriano.
6. ¿Cuántas palabras de 5 letras que contengan al menos una R pero ninguna A, pueden formarse con las letras de
la palabra DISCRETA?
85 − 75 /5!
P5 5 5−i

i=1 i 6
85 − 6!

75 − 6!
7. Cualquier modelo de la fórmula ∀x∃y∃z(R(x, y) ∧ ¬R(x, z)) tiene en su universo de discurso:
Exactamente 1 elemento.
Exactamente 2 elementos.
Como mucho 2 elementos.
Al menos 2 elementos.
8. [1 punto] Demuestra por inducción matemática que para todo número natural n, an = 5 ∗ 2n + 2 ∗ 3n . Indica
qué tipo de inducción utilizas.
a0 = 7
a1 = 16
an = 5an−1 − 6an−2 si n ≥ 2
9. [1,5 puntos] Sobre el conjunto Z de los números enteros se define la relación binaria
xRy ⇐⇒ x2 − y 2 = x − y
a) Demuestra que R es una relación de equivalencia.
b) Calcula la clase de equivalencia definida por 0 y la del 4.
c) Calcula las distintas clases de equivalencia de R y su conjunto cociente.
10. [0,75 puntos] En una fiesta de 25 rockeros todos son fanáticos de AC/DC, Metallica o Deep Purple. Además
se sabe que 21 son fanáticos de AC/DC, 18 de Metallica y 13 de Deep Purple. También es sabido que 15 son
fanáticos de AC/DC y Metallica, y que 12 lo son de AC/DC y Deep Purple. Finalmente se sabe que 21 son
fanáticos de Metallica o Deep Purple. Responde razonadamente las siguientes cuestiones:
a) ¿Cuántos son fanáticos de los tres grupos a la vez?
b) ¿Cuántos son fanáticos de AC/DC y Metallica, pero no de Deep Purple?
c) ¿Cuántos son fanáticos exclusivamente de Metallica?
11. [0,5 puntos] Construye una forma prenexa de la fórmula

¬∃x(∃yR(x, y) → P (x)) → ∀x¬P (x)
12. [0,75 puntos] Formaliza los siguientes enunciados en la Lógica de primer orden usando la signatura siguiente:
Σ = {{Ni/1, Juguete/1,Juega/2}}
a) Ningún niño juega con todos los juguetes.
b) Hay un niño que juega con todos los juguetes.
c) Hay un niño que no juega con ningún juguete.
13. [1 punto]
Considera las fórmulas
ϕ1 = ∀x(F (x) ∨ G(x))
ϕ2 = ∀x(G(x) → H(x))
ψ = ∀xF (x) ∨ ∀xH(x)
Estudia, por medio de tableaux, si ϕ1 , ϕ2 |= ψ. Si no es cierto, construye una interpretación que lo justifique.
Soluciones examen Final Septiembre 2017
1. Sea A ⊆ P(B), A 6= ∅. Indica la respuesta correcta:
S
A∈B
S
X A⊆B
S
A ⊆ P(B)
Solución
S S S
A ⊆ P(B) =⇒ ∀X ∈ A, X ∈ P(B) =⇒ ∀X ∈ A, X ⊆ B =⇒ A= X∈A X ⊆ B =⇒ A⊆B
2. Definimos la relación R ⊆ N × N del siguiente modo:

xRy ⇐⇒ (x · y = x) x, y ∈ N

Indica la respuesta correcta:
R es reflexiva.
R es antirreflexiva.
X R es antisimétrica.
Ninguna de las respuestas anteriores.
Solución
Antisimétrica: ∀x, y xRy ∧ yRx =⇒ x = y
xRy ⇐⇒ (x · y = x)
yRx ⇐⇒ (y · x = y)
∀x, y xRy ∧ yRx ⇐⇒ (x · y = x) ∧ (y · x = y) =⇒ (x · y = x = y · x = y) =⇒ x = y
Veamos ahora que las otras propiedades no son ciertas.
Reflexiva: ∀x xRx ⇐⇒ ∀x (x · x = x) =⇒ ∀xx(x − 1) = 0 que sólo es cierta para x = 1 o x = 0 Por ejemplo
2 6 R2 ya que (2 · 2 6= 2)
Antirreflexiva: ∀x x 6 Rx ⇐⇒ ∀x (x · x 6= x) =⇒ ∀x x(x − 1) 6= 0 que sólo es cierta para x 6= 1 y x 6= 0
1R1 ya que (1 · 1 = 1) y 0R0 ya que (0 · 0 = 0)
3. Sea f : Z × Z → Z definida ası́:

f (n, m) = 3n + 2m n, m ∈ Z
Indica la respuesta correcta.
f es inyectiva pero no suprayectiva.

X f es suprayectiva pero no inyectiva.
f es biyectiva.
f no es inyectiva ni suprayectiva.
Solución
f no es inyectiva. (f inyectiva: f (x1 ) = f (x2 ) =⇒ x1 = x2 ⇐⇒ x1 6= x2 =⇒ f (x1 ) 6= f (x2 ))
Contraejemplo: f (0, 3) = 3 ·0 + 2 ·3 = 6 f (2, 0) = 3 ·2 + 2 ·0 = 6 Por tanto, f (0, 3) = f (2, 0) pero (0, 3) 6= (2, 0)
f es suprayectiva. (ran(f ) = Z ⇐⇒ ∀y ∈ Z, ∃x ∈ Z × Z tal que f (x) = y)

Sea y = z ∈ Z, ∃(n, m) ∈ Z × Z tal que f (n, m) = z f (n, m) = 3n + 2m = z
Distinguimos dos casos:
z = 2s (s ≥ 0 o s < 0) =⇒ f (0, s) = 3 · 0 + 2 · s = z
z = 2s + 1 (s ≥ 0 o s < 0) =⇒ f (1, s − 1) = 3 · 1 + 2 · (s − 1) = 3 − 2 + 2s = 2s + 1 = z
4. Dados los siguientes diagramas de Hasse, indica la respuesta correcta.
e
•
• c •
• • • •
• • • •
• • •
a b d
(1) (2)
(1) y (2) tienen supremo e ı́nfimo .

(1) y (2) tienen máximo y mı́nimo.
X (1) y (2) tienen maximales y minimales.
Solución
Los elementos minimales de un conjunto (A, R) son los elementos x ∈ A tal que no hay ningún elemento y ∈ A
tal que yRx.
Hay tres elementos que lo cumplen: a, b ∈ 1 d ∈ 2. (Como d es el único elemento minimal de (2), también es
el mı́nimo de (2).)

Los elementos maximales de un conjunto (A, R) son los elementos x ∈ A tal que no hay ningún elemento y ∈ A
tal que xRy.
Hay dos elementos que lo cumplen: c ∈ 1 e ∈ 2. (Como c ∈ (1) y e ∈ (2) son los únicos elementos maximales
de (1) y (2) respectivamente, son también el máximo de (1) y (2) respectivamente.)
Para encontrar el supremo de un conjunto A tenemos que considerar el conjunto de las cotas superiores de A y
tomar su mı́nimo, si existe.
Para encontrar el ı́nfimo de un conjunto A tenemos que considerar el conjunto de las cotas inferiores de A y
tomar su máximo, si existe.
En nuestro caso:
CotasSup(1) = {c} =⇒ supr(1) = c CotasInf (1) = ∅ =⇒ Inf (1) no existe. (No hay ningún elemento x ∈ (1)
tal que xRy ∀y ∈ (1) a 6 Rb y b 6 Ra.
CotasSup(2) = {e} =⇒ supr(2) = e CotasInf (2) = {d} =⇒ Inf (2) = d
5. Un grafo no dirigido tiene 11 nodos y 15 aristas. Si 10 de los nodos tienen grado 2, entonces:

El otro es de grado 9 y el grafo es semieuleriano.
X El otro es de grado 10 y el grafo es euleriano.
Solución
Sea m el grado del vértice restante, entonces si aplicamos
P
gr(v) = 2|E| =⇒ 10 · 2 + m = 2 · 15 = 30 =⇒ m = 10
Todo vértice es de grado par, luego el grafo es euleriano.
(G es euleriano ⇐⇒ todo vértice es de grado par.)
(G is semieuleriano ⇐⇒ G tiene dos vértices de grado impar y el resto son de grado par.)
6. ¿Cuántas palabras de 5 letras que contengan al menos una R pero ninguna A, pueden formarse con las letras de
la palabra DISCRETA?
85 − 75 /5!
P5 5 5−i

X i=1 i 6
85 − 6!
75 − 6!
Solución
Como A no puede aparecer en las palabras, nos quedan 7 letras.
Palabras que contienen exactamente 1 R: R puede aparecer en las siguientes posiciones.
R
R
R
R
R
Las cuatro posiciones restantes pueden rellenarse con 6 letras (6= R y 6= A) (se permiten repeticiones) =⇒ hay
5 · 64 = 51 65−1 palabras que contienen exactamente 1 R.
Palabras que contienen exactamente 2 Rs:

RR

5

Hay 2 posiciones escogidas entre las cinco de la palabra donde podemos escribir las 2 Rs.
R R
R R ...
Las
tres posiciones restantes pueden rellenarse con 6 letras (6= R y 6= A) (se permiten repeticiones) =⇒ hay
5 5 5−2
3

2 · 6 = 2 6 palabras que contienen exactamente 2 Rs.

RRR

R RR
R R R ...
Las
dos posiciones restantes pueden rellenarse con 6 letras (6= R y 6= A) (se permiten repeticiones) =⇒ hay
5 5 5−3
2

3 · 6 = 3 6 palabras que contienen exactamente 3 Rs.

RRRR

R RRR
RR R R ...
5 5
5−4
La posición restante puede rellenarse con 6 letras (6= R y 6= A) (se permiten repeticiones) =⇒ hay 4 ·6 = 46
palabras que contienen exactamente 4 Rs.
Palabras que contienen exactamente 4 Rs: Sólo hay una.

RRRRR
5−5 P5
1 = 55 65−5 =⇒ La Solución Final es 5 5 5 5 5 5
5−1 5−2 5−3 5−4 5−i
1 6 + 2 6 + 36 + 46 + 56 = i=1 i 6
7. Cualquier modelo de la fórmula ∀x∃y∃z(R(x, y) ∧ ¬R(x, z)) tiene en su universo de discurso:
Exactamente 1 elemento.
Exactamente 2 elementos.
Como mucho 2 elementos.
X Al menos 2 elementos.
Solución
Como la fórmula empieza por ∀x, x puede ser cualquier elemento del dominio. Si hay un único elemento a, x = a
y tenemos que escoger un cierto elemento y y un cierto elemento z tal que R(x, y) y ¬R(x, z) luego y y z tienen
que verificar y 6= z ya que y está relacionado con x pero z no. (Uno de ellos puede ser el mismo a). Por tanto, el
dominio tiene que tener al menos dos elementos.
Ejemplo.
Sea A = {a, b}
RA = {(a, a), (b, b)}
Si x = a podemos tomar y = a y z = b ya que (a, a) ∈ RA y (a, b) 6∈ RA
Si x = b podemos tomar y = b y z = a ya que (b, b) ∈ RA y (b, a) 6∈ RA
Si hay más de dos elementos en el dominio, habrá más posibilidedes para nuestra elección de y, z.
Ejemplo.
Sea A = {a, b, c}
RA = {(a, a), (b, a), (b, c), (c, c)}

Si x = a podemos tomar y = a y z = c ya que (a, a) ∈ RA y (a, c) 6∈ RA
Si x = b podemos tomar y = a y z = b ya que (b, a) ∈ RA y (b, b) 6∈ RA
Si x = c podemos tomar y = c y z = a ya que (c, c) ∈ RA y (c, a) 6∈ RA
8. [1 punto] Demuestra por inducción matemática que para todo número natural n, an = 5 ∗ 2n + 2 ∗ 3n . Indica
qué tipo de inducción utilizas.
a0 = 7
a1 = 16
an = 5an−1 − 6an−2 si n ≥ 2
Solución:
Base: a0 = 7 = 5 ∗ 20 + 2 ∗ 30 = 5 + 2 = 7 Luego se cumple.
a1 = 16 = 5 ∗ 21 + 2 ∗ 31 = 10 + 6 = 16 Luego se cumple.
Paso Inductivo S(0), . . . , S(k) =⇒ S(k + 1) (Aplicamos inducción completa porque la definición recursiva de
an depende de an−1 y an−2 ) (varios valores previos).
(HI) S(2), . . . , S(k) ≡ a2 = 5 ∗ 22 + 2 ∗ 32 . . . ak = 5 ∗ 2k + 2 ∗ 3k
?
S(k + 1) ≡ ak+1 = 5 ∗ 2k+1 + 2 ∗ 3k+1
ak+1 = 5ak − 6ak−1 = 5(5 ∗ 2k + 2 ∗ 3k ) − 6(5 ∗ 2k−1 + 2 ∗ 3k−1 ) = 5(5 ∗ 2k + 2 ∗ 3k )−
↑
(HI. S(k), S(k − 1) inducción completa) ( ak = 5 ∗ 2k + 2 ∗ 3k ak−1 = 5 ∗ 2k−1 + 2 ∗ 3k−1 )
−3 ∗ 5 ∗ 2k − 4 ∗ 3k = (25 − 15)2k + (10 − 4)3k = 10 ∗ 2k + 6 ∗ 3k = 5 ∗ 2k+1 + 2 ∗ 3k+1

En el caso base tenemos que incluir n = 0 y n = 1 ya que an = 5an−1 − 6an−2 y para n = 2 a2 = 5a1 − 6a0
k k k−1 k−1
En el paso inductivo escribimos ak+1 = 5ak − 6ak−1 = 5(5 ∗ 2 + 2 ∗ 3 ) − 6(5 ∗ 2 +2∗3 ) donde k + 1 ≥ 2
y aplicamos ak = 5 ∗ 2k + 2 ∗ 3k y ak−1 = 5 ∗ 2k−1 + 2 ∗ 3k−1 Tiene que ser una demostración válida también
para k + 1 = 2. En esta caso se tiene a2 = 5a1 − 6a0 luego también tendrá que ser cierto a1 = 5 ∗ 21 + 2 ∗ 31 y
a0 = 5 ∗ 20 + 2 ∗ 30 . Tanto a0 y a1 vienen dados por dos valores independientes luego sólo podemos comprobar
si se cumple o no, para ambos, en el caso base.
9. [1,5 puntos] Sobre el conjunto Z de los números enteros se define la relación binaria
xRy ⇐⇒ x2 − y 2 = x − y
a) Demuestra que R es una relación de equivalencia.
b) Calcula la clase de equivalencia definida por 0 y la del 4.
c) Calcula las distintas clases de equivalencia de R y su conjunto cociente.
Solución:
a) R es una relación de equivalencia ⇐⇒ R es reflexiva, simétrica y transitiva.
Reflexiva: ∀x xRx ⇐⇒ x2 − y 2 = x − y
xRx ⇐⇒ x2 − x2 = 0 = x − x Luego, se verifica la propiedad transitiva.
Simétrica: ∀x, y xRy =⇒ yRx

xRy ⇐⇒ x2 − y 2 = x − y
yRx ⇐⇒ y 2 − x2 = y − x.

x2 − y 2 = x − y =⇒ −x2 + y 2 = −x + y =⇒ y 2 − x2 = y − x Luego xRy =⇒ yRx. Se verifica la propiedad
simétrica.
Transitiva: ∀x, y, z xRy ∧ yRz =⇒ xRz

xRy ⇐⇒ x2 − y 2 = x − y
yRz ⇐⇒ y 2 − z 2 = y − z
xRz ⇐⇒ x2 − z 2 = x − z.
Si xRy y yRz x2 − y 2 = x− y, y 2 − z 2 = y − z =⇒ x2 − z 2 = (x2 − y 2 )+ (y 2 − z 2 ) = (x− y)+ (y − z) = x− z.
Luego xRz.
Se verifica ∀x, y, z xRy ∧ yRz =⇒ xRz luego R es transitiva.
b) [0] = {y ∈ Z | yR0} = {y ∈ Z | y 2 − 0 = y − 0} = {y ∈ Z | y 2 − y = y(y − 1) = 0} = {y ∈ Z | y = 0 o y = 1} =

= {0, 1}
[4] = {y ∈ Z | yR4} = {y ∈ Z | y 2 − 42 = y − 4} = {y ∈ Z | y 2 − y = 16 − 4} = {y ∈ Z | y 2 − y − 12 = 0} =
= {y ∈ Z | y = 4 o y = −3} = {4, −3}
√ √
2 1 ± 1 + 48 1 ± 49 1±7
y − y − 12 = 0 =⇒ y = = = =⇒ y = 4 o y = −3
2 2 2
c) El Conjunto Cociente es: Z/R = {[x] | x ∈ Z}.
[x] = {y ∈ Z | yRx} = {y ∈ Z | y 2 − x2 = y − x} = {y ∈ Z | y 2 − y = x2 − x} = {y ∈ Z | y 2 − y − (x2 − x) = 0}
p √ p
1 ± 1 + 4(x2 − x) 1 ± 1 + 4x2 − 4x 1 ± (2x − 1)2 1 ± (2x − 1)
y 2 −y−(x2 −x) = 0 =⇒ y = = = = =⇒
2 2 2 2
2 − 2x
y=xoy= =1−x
2
Luego,
[x] = {y ∈ Z|yRx} = {y ∈ Z|y 2 − x2 = y − x} = {y ∈ Z|y 2 − y = x2 − x} = {y ∈ Z|y 2 − y − (x2 − x) = 0} =
= {y ∈ Z | y = x o y = 1 − x} = {x, 1 − x}
Z/R = {[x] | x ∈ Z} = {{x, 1 − x} | x ∈ Z}

[0] = {0, 1} [2] = {2, −1} [3] = {3, −2} [4] = {4, −3}... =⇒ Z/R = {[x] | x ∈ Z} = {[0], [2], [3], [4], [5], . . .}
10. [0,75 puntos] En una fiesta de 25 rockeros todos son fanáticos de AC/DC, Metallica o Deep Purple. Además
se sabe que 21 son fanáticos de AC/DC, 18 de Metallica y 13 de Deep Purple. También es sabido que 15 son
fanáticos de AC/DC y Metallica, y que 12 lo son de AC/DC y Deep Purple. Finalmente se sabe que 21 son
fanáticos de Metallica o Deep Purple. Responde razonadamente las siguientes cuestiones:
a) ¿Cuántos son fanáticos de los tres grupos a la vez?
b) ¿Cuántos son fanáticos de AC/DC y Metallica, pero no de Deep Purple?
c) ¿Cuántos son fanáticos exclusivamente de Metallica?
Solución
|AC ∪ M ∪ DP | = 25
|AC| = 21
|M | = 18
|DP | = 13
|AC ∩ M | = 15
|AC ∩ DP | = 12
|M ∪ DP | = 21
|M ∪ DP | = |M | + |DP | − |M ∩ DP | =⇒ |M ∩ DP | = |M | + |DP | − |M ∪ DP | = 18 + 13 − 21 = 10
|AC ∪ M ∪ DP | = |AC| + |M | + |DP | − (|AC ∩ M | + |AC ∩ DP | + |M ∩ DP |) + |AC ∩ M ∩ DP | =⇒
|AC ∩ M ∩ DP | = |AC ∪ M ∪ DP | − |AC| − |M | − |DP | + |AC ∩ M | + |AC ∩ DP | + |M ∩ DP | = 25 − 21 − 18 −
13 + 15 + 12 + 10 = 10
Los fanáticos de AC/DC y Metallica, pero no de Deep Purple viene dado por el conjunto (AC ∩ M ) ∩ DP
AC ∩ M = (AC ∩ M ) ∩ U = (AC ∩ M ) ∩ (DP ∪ DP ) = ((AC ∩ M ) ∩ DP ) ∪ ((AC ∩ M ) ∩ DP ) (U es el conjunto
universal).
Como son conjuntos disjuntos =⇒
|AC∩M | = |(AC∩M )∩DP |+|(AC∩M )∩DP | =⇒ |(AC∩M )∩DP | = |(AC∩M )|−|(AC∩M )∩DP | = 15−10 = 5
Los que son fanáticos exclusivamente de Metallica viene dado por el conjunto M ∩ AC ∪ DP
M = M ∩ U = M ∩ ((AC ∪ DP ) ∪ (AC ∪ DP )) = (M ∩ (AC ∪ DP )) ∪ (M ∩ (AC ∪ DP )) (U es el conjunto
universal).
Como son conjuntos disjuntos =⇒

|M | = |M ∩ (AC ∪ DP )| + |M ∩ (AC ∪ DP )| =⇒ |M ∩ (AC ∪ DP )| = |M | − |M ∩ (AC ∪ DP )| = 18 − 15 = 3
|M ∩ (AC ∪ DP )| = |(M ∩ AC) ∪ (M ∩ DP )| = |(M ∩ AC)| + |(M ∩ DP )| − |(M ∩ AC) ∩ (M ∩ DP )| =

= |(M ∩ AC)| + |(M ∩ DP )| − |M ∩ AC ∩ DP | = 15 + 10 − 10 = 15
11. [0,5 puntos] Construye una forma prenexa de la fórmula
¬∃x(∃yR(x, y) → P (x)) → ∀x¬P (x)
Solución
¬∃x(∃yR(x, y) → P (x)) → ∀x¬P (x) ∼ ∀x¬(∃yR(x, y) → P (x)) → ∀x¬P (x) ∼ ∀x(∃yR(x, y) ∧ ¬P (x)) → ∀x¬P (x) ∼
↑ ↑ ↑
¬∃xϕ ∼ ∀x¬ϕ ¬(ϕ → ψ) ∼ ϕ∧¬ψ ϕ → ψ ∼ ¬ϕ ∨ ψ
∼ ¬ ∀x(∃yR(x, y) ∧ ¬P (x)) ∨ ∀x¬P (x) ∼ ∃x¬ ∃yR(x, y) ∧ ¬P (x) ∨ ∀x¬P (x) ∼ ∃x ¬∃yR(x, y) ∨ ¬¬P (x) ∨
↑ ↑
¬∀xϕ ∼ ∃x¬ϕ h ¬(ϕ ∧ ψ) ∼ ¬ϕ ∨ i¬ψ h

∨∀x¬P (x) ∼ ∃x ∀y¬R(x, y)∨P (x) ∨∀x¬P (x) ∼ ∃x (∀y¬R(x, y)∨P (x))∨∀x¬P (x) ∼ ∃x (∀y¬R(x, y)∨P (x))∨
↑ ↑ ↑
¬∃xϕ ∼ ∀x¬ϕ,
i ¬¬ϕh ∼ ϕ (∃xϕ
i ∨ ψ) ∼h ∃x(ϕ ∨ ψ) x ∈
6 F V (ψ) ∀xϕi ∼ ∀uϕ h
∀u¬P (u) ∼ ∃x∀u (∀y¬R(x, y) ∨ P (x)) ∨ ¬P (u) ∼ ∃x∀u ∀y(¬R(x, y) ∨ P (x)) ∨ ¬P (u) ∼ ∃x∀u∀y (¬R(x, y)∨
↑ ↑ ↑
ϕ∨∀xψ ∼ ∀x(ϕ∨ψ) i x ∈
6 F V (ψ) (∀xϕ∨ψ) ∼ ∀x(ϕ∨ψ) x ∈
6 F V (ψ) (∀xϕ∨ψ) ∼ ∀x(ϕ∨ψ) x 6∈ F V (ψ)
∨P (x)) ∨ ¬P (u)
h i
Fórmula Final: ¬∃x(∃yR(x, y) → P (x)) → ∀x¬P (x) ∼ ∃x∀u∀y (¬R(x, y) ∨ P (x)) ∨ ¬P (u)
12. [0,75 puntos] Formaliza los siguientes enunciados en la Lógica de primer orden usando la signatura siguiente:
Σ = {{Ni/1, Juguete/1,Juega/2}}
a) Ningún niño juega con todos los juguetes.
b) Hay un niño que juega con todos los juguetes.
c) Hay un niño que no juega con ningún juguete.
Solución
a) Ningún niño juega con todos los juguetes. ¬∃x(N i(x) ∧ ∀y(Juguete(y) → Juega(x, y)))
b) Hay un niño que juega con todos los juguetes. ∃x(N i(x) ∧ ∀y(Juguete(y) → Juega(x, y)))
c) Hay un niño que no juega con ningún juguete. ∃x(N i(x) ∧ ∀y(Juguete(y) → ¬Juega(x, y)))
13. [1 punto]
Considera las fórmulas
ϕ1 = ∀x(F (x) ∨ G(x))
ϕ2 = ∀x(G(x) → H(x))
ψ = ∀xF (x) ∨ ∀xH(x)
Estudia, por medio de tableaux, si ϕ1 , ϕ2 |= ψ. Si no es cierto, construye una interpretación que lo justifique.
Solución
1 ∀x(F (x) ∨ G(x))
2 ∀x(G(x) → H(x))
3 ¬(∀xF (x) ∨ ∀xH(x))
4 ¬∀xF (x)
5 ¬∀xH(x) (Rα (3))
6 ¬F (a) (Rδ (4)) a constante nueva
7 ¬H(b)) (Rδ (5)) b constante nueva

8 G(b) → H(b) (Rγ (2))
H(b) 9 10 ¬G(b)) (Rβ (8))

♯
11 F (a) ∨ G(a) (Rγ (1))
F (a) 12 G(a) (Rβ (11))

♯
13 G(a) → H(a) (Rγ (2))
¬G(a) 14 H(a) (Rβ (13))

♯
15 F (b) ∨ G(b)) (Rγ (1))
F (b) G(b) (Rβ (15))

open branch ⇑ ♯
Una rama permanece abierta =⇒ ϕ1 , ϕ2 6|= ψ.

Podemos obtener la siguiente interpretación I, tal que I |= ϕ1 , ϕ2 pero I 6|= ψ
El dominio A = {a, b}
F A = {b} ya que F (b) aparece en la rama, a 6∈ F A ya que ¬F (a) aparece en la rama.
H A = {a} ya que H(a) aparece en la rama, b 6∈ H A ya que ¬H(b) aparece en la rama.
GA = {a} ya que G(a) aparece en la rama, b 6∈ GA ya que ¬G(b) aparece en la rama.
I |= ϕ1 = ∀x(F (x) ∨ G(x))

Si x = a se verifica a ∈ GA .
Si x = b se verifica b ∈ F A =⇒ I |= ϕ1 = ∀x(F (x) ∨ G(x))
I |= ϕ2 = ∀x(G(x) → H(x))
Si x = a se verifica a ∈ GA pero también a ∈ H A
Si x = b se verifica b 6∈ GA =⇒ I |= ϕ2 = ∀x(G(x) → H(x))
I 6|= ψ = ∀xF (x) ∨ ∀xH(x) ya que a 6∈ F A y b 6∈ H A .
Examen Matemática Discreta y Lógica Matemática
Examen Septiembre 2018- Modelo 1
NOMBRE:
GRUPO:
Cada una de las seis primeras preguntas es tipo test y tiene una única respuesta correcta. Cada
pregunta respondida correctamente puntuará 0,5 puntos. Cada pregunta respondida incorrectamente
puntuará -0,15 puntos. Las preguntas sin contestar puntuarán 0 puntos. En ningún caso el resultado
final será negativo.
En cada una de las preguntas a desarrollar aparece la puntuación máxima que puede obtenerse al
responderlas. La mı́nima puntuación que puede obtenerse en estas preguntas es 0 .
1. Sean a, b, c ∈ Z tales que a | b + c entonces siempre:
Si a | b entonces a | c.

a|b·c
a | mcd(b, c)
a|c y a|b
2. Señala la afirmación correcta:
No existen conjuntos A, B tales que A ∈ B ∧ A ⊂ B.

Podemos tener A ∩ B = ∅ ∧ A ⊆ B ∧ A = ∅.
X ⊆ A ∪ B ⇐⇒ (X \ A) ∩ (X \ B) = ∅.
Si A ∩ (B \ C) = ∅ entonces siempre A ∩ B = ∅.
3. Sean R1 y R2 dos relaciones definidas sobre A = {1, 2, 3, 4}, que verifican:

R1 es la menor relación de equivalencia que contiene a {(4, 4), (2, 4), (2, 2), (3, 3)} y
xR2 y ⇐⇒ mcd(x, 6) = mcd(y, 6)
Sean C 1 = {{2, 4}, {1, 3}} y C 2 = {{1}, {4, 2}, {3}} dos particiones de A. Indica la respuesta correcta.
R1 da lugar a la partición C1 y R2 a C2 .
R1 y R2 dan lugar a C2 .
4. ¿Cuántas palabras de 5 letras que contengan al menos una B pero ninguna A, pueden formarse con las
letras de la palabra CONTABLE ? Marca la respuesta correcta.
85 − 75 /5!
5 5 5−i
i=1 i 6
85 − 6!
8!
2!2!3!
5. Tenemos 15 bolas numeradas del 1 al 15. Hay 10 de color negro y 5 de color blanco. Queremos formar
grupos de 4 bolas, usando dos de cada color, y luego colocarlas en orden creciente. ¿De cuántas formas
distintas podemos hacerlo?

10 · 9 · 5 · 4
105
2 2
105
2 2 ·4
105
2 2 · 4!
6. Sean A = A, {P A , QA } , donde A = {a, b} P A = {a}, QA = {b}, σ(x) = b, I = A, σ

ϕ1 = ∀y P (y) → (Q(x) ∨ x = y) , ϕ2 = ∀y (P (y) ∨ x = y) → Q(y) . Entonces:
I es modelo de ϕ1 , pero no de ϕ2 .
I es modelo de ϕ1 y de ϕ2 .
I no es modelo de ϕ1 ni de ϕ2
7. [1 punto] Demuestra por inducción matemática

1 1 1 n−1
+ + ···+ = ∀n ≥ 2
2∗1 3∗2 n ∗ (n − 1)) n
Indica el tipo de inducción que utilizas.

8. [1 punto] Sea g : Z+ × {0, 1} −→ Z

n − 1 si m = 0
g(n, m) =
−n si m = 1
Estudia si la función es inyectiva, suprayectiva, demostrando lo que proceda.
9. [1.5 puntos] Sea A = D24 × D24 , donde
D24 = {x ∈ N1 |x | 24} Definimos una relación R en A como sigue:
(a, b)R(c, d) ⇐⇒ a divide c y b divide d
Sea S = {(2, 2), (2, 3), (3, 2), (6, 4), (8, 4), (12, 6)}
a) Demuestra que es una relación de orden en A.
b) Dibuja el diagrama de Hasse para S.
c) Halla, si existen, las cotas superiores e inferiores, los elementos maximales y minimales, máximo,
mı́nimo, supremo e ı́nfimo de S.
10. [1.25 puntos] Consideramos los grafos Gn = (Vn , En ), n ≥ 2, con vértices Vn = {1, 2, 3, 4} ×
{0, 1, . . . , n − 1} y aristas
En = {{(1, 0), (2, 0)}, {(3, 0), (4, 0)}} ∪ {{(a, b), (c, d)}|a = c ∧ |b − d| = 1 ó b = d = n − 1 ∧ |a − c| = 1}
y contesta de forma razonada las siguientes preguntas.
a) Dibuja el grafo representando los vértices como puntos en el plano XY.

b) ¿Cuál es el valor de n si Gn tiene 89 aristas?
c) ¿Para qué valores de n es Gn euleriano?
d ) ¿Para qué valores de n es Gn hamiltoniano?
e) ¿Para qué valores de n es Gn semieuleriano?
f ) ¿Para qué valores de n es Gn conexo?
11. [1.25 puntos]
a) Sean ϕ1 ≡ ∃x(P (x) ∧ ¬∀y(Q(y) → R(x, y))) ϕ1 ≡ ∃x(P (x) ∧ ¬∃y(Q(y) ∧ R(x, y)))
Una de las dos fórmulas sirve para formalizar el enunciado hay un alumno que no resuelve
ningún problema. Indica cuál es la fórmula que corresponde a dicho enunciado y da la in-
terpretación de los sı́mbolos de predicado que intervienen en la fórmula. (Por ejemplo, P (x)
puede significar P (x) ≡ x es un alumno.)

Sean
ϕ2 ≡ ∀x(P (x) ∧ A(x)) → ¬∀y(Q(y) → ¬R(x,y))
ϕ2 ≡ ∃x (P (x) ∧ A(x)) → ∃y(Q(y) ∧ R(x, y))
Una de las dos fórmulas sirve para formalizar el enunciado un alumno que aprueba tiene que
haber resuelto algún problema. Indica cuál es la fórmula que corresponde a dicho enunciado y
da la interpretación de los sı́mbolos de predicado que intervienen en la fórmula.
Sean ϕ3 ≡ ∃x(P (x) ∧ ¬A(x))
ϕ3 ≡ ¬∀x(P (x) ∧ A(x))
Una de las dos fórmulas sirve para formalizar el enunciado no todos los alumnos aprueban
. Indica cuál es la fórmula que corresponde a dicho enunciado y da la interpretación de los
sı́mbolos de predicado que intervienen en la fórmula.
b) Utilizando el apartado (a) formaliza la siguiente argumentación en lógica de primer orden:
Hay un alumno que no resuelve ningún problema.

Un alumno que aprueba tiene que haber resuelto algún problema.
∴ No todos los alumnos aprueban.
Estudia, utilizando tableaux, si la argumentación dada es válida. En caso de no serlo, construye

una interpretación que lo justifique.
Examen Matemática Discreta y Lógica Matemática
Examen Septiembre 2018
NOMBRE:
GRUPO:
Cada una de las seis primeras preguntas es tipo test y tiene una única respuesta correcta. Cada
pregunta respondida correctamente puntuará 0,5 puntos. Cada pregunta respondida incorrectamente
puntuará -0,15 puntos. Las preguntas sin contestar puntuarán 0 puntos. En ningún caso el resultado
final será negativo.
En cada una de las preguntas a desarrollar aparece la puntuación máxima que puede obtenerse al
responderlas. La mı́nima puntuación que puede obtenerse en estas preguntas es 0 .
1. Sean a, b, c ∈ Z tales que a | b + c entonces siempre:
X Si a | b entonces a | c.

a|b·c
a | mcd(b, c)
a|c y a|b
Solución (a)
Si a | b + c =⇒ b + c = a · t y si a | b =⇒ b = a · t
Por tanto c = a · t − b = a · t − a · t = a(t − t ) es decir, a divide a c.
La (b) es falsa.
Sea b = 2 y c = 3 y sea a = 5. Evidentemente a = 5 | 5 = (b + c) pero 5 no divide a b · c = 2 · 3 = 6.
La (c) es falsa.
Sea b = 2 y c = 3 y sea a = 5. Evidentemente a = 5 | 5 = (b + c) pero 5 no divide a 1 = mcd(b, c)
La (d) es falsa.
Sea b = 7 y c = 3 y sea a = 2. Evidentemente a = 2 | 10 = (b + c) pero a = 2 no divide a 7 = b y
a = 2 no divide a c = 3
2. Señala la afirmación correcta:
No existen conjuntos A, B tales que A ∈ B ∧ A ⊂ B.

Podemos tener A ∩ B = ∅ ∧ A ⊆ B ∧ A = ∅.
X X ⊆ A ∪ B ⇐⇒ (X \ A) ∩ (X \ B) = ∅.
Si A ∩ (B \ C) = ∅ entonces siempre A ∩ B = ∅.
Solución (c)
X ⊆ A ∪ B ⇐⇒ (X \ A) ∩ (X \ B) = ∅.
Vamos a demostrar las dos implicaciones para demostrar la equivalencia.
=⇒)
(X \A)∩(X \B) = (X ∩A)∩(X ∩B) = X ∩(A ∩ (X ∩ B)) = X ∩((A ∩ X)∩B)) = X ∩((X ∩A)∩B) =
↑ ↑ ↑ ↑ ↑
C\D = C∩D L.Asociativa L.Asociativa L.Conmutativa L.Asociativa
= (X ∩ (X ∩ A)) ∩ B = ((X ∩ X) ∩ A) ∩ B = (X ∩ A) ∩ B = X ∩ (A ∩ B) = X ∩ (A ∪ B) ⊆ (A ∪ B) ∩ (A ∪ B) = ∅
↑ ↑ ↑ ↑ ↑ ↑
L.Asociativa L.Idempotente L.Asociativa L.De Morgan (X ⊆ A ∪ B) C∩C =∅
⇐=)
Sea x ∈ X. Como ∅ = (X \ A) ∩ (X \ B) = (X ∩ A) ∩ (X ∩ B) = X ∩ (A ∩ B) = X ∩ (A ∪ B) =⇒
=⇒ x ∈ A ∪ B =⇒ x ∈ A ∪ B = A ∪ B =⇒ X ⊆ A ∪ B
La (a) es falsa.
Sea A = {0} y sea B = {0, 1, {0}}
{0} es un elemento de B, luego A = {0} ∈ B. Por otro lado 0 es un elemento de B, luego A = {0} ⊂
B = {0, 1, {0}}.
La (b) es falsa.
Si A ⊆ B =⇒ A ∩ B = A =⇒ ∅ = A ∩ B = A

La (d) es falsa.
Sean A = {0, 1} B = {1, 2} C = {1, 3}
(B \ C) = {1, 2} \ {1, 3} = {2}
A ∩ (B \ C) = A ∩ {2} = {0, 1} ∩ {2} = ∅ pero A ∩ B = {1} = ∅
3. Sean R1 y R2 dos relaciones definidas sobre A = {1, 2, 3, 4}, que verifican:

R1 es la menor relación de equivalencia que contiene a {(4, 4), (2, 4), (2, 2), (3, 3)} y
xR2 y ⇐⇒ mcd(x, 6) = mcd(y, 6)
Sean C 1 = {{2, 4}, {1, 3}} y C 2 = {{1}, {4, 2}, {3}} dos particiones de A. Indica la respuesta correcta.
X R1 y R2 dan lugar a C2 .
Solución (b)
R2 : Calculamos las clases de equivalencia.
[1] = {x ∈ A | xR1} = {x ∈ A | mcd(x, 6) = mcd(1, 6) = 1} = {1}
[2] = {x ∈ A | xR2} = {x ∈ A | mcd(x, 6) = mcd(2, 6) = 2} = {2, 4}
[3] = {x ∈ A | xR3} = {x ∈ A | mcd(x, 6) = mcd(3, 6) = 3} = {3}
En R1 se verifica que (2, 4) ∈ R1 luego [2] = [4] y como la menor relación de equivalencia que contiene
a {(4, 4), (2, 4), (2, 2), (3, 3)} es R1 = {(4, 4), (2, 4), (2, 2), (3, 3), (1, 1), (4, 2)} y (1, 3) ∈ R1 entonces
[1] = [3]. Ası́ mismo (1, 2) ∈ R1 y (2, 3) ∈ R1 , luego [1] = [2] y [2] = [3]
Por tanto, R1 y R2 dan lugar a la partición C2 .
4. ¿Cuántas palabras de 5 letras que contengan al menos una B pero ninguna A, pueden formarse con las
letras de la palabra CONTABLE ? Marca la respuesta correcta.
85 − 75 /5!
5 5 5−i
X i=1 i 6
85 − 6!
8!
2!2!3!
Solución (b)
No contienen A, luego sólo podemos utilizar 7 de las letras.

5
Palabras que contienen exactamente una B: puede estar en posiciones. Para el resto no puedo
1
5 4

usar ni A ni B. Tenemos por tanto 6 letras y 4 posiciones. Luego hay 6
1

5
Palabras que contienen exactamente dos B: pueden estar en posiciones. Para el resto no puedo
2
5 3
2

5
Palabras que contienen exactamente tres B: pueden estar en posiciones. Para el resto no puedo
3
5 2
3

5
Palabras que contienen exactamente cuatro B: pueden estar en posiciones. Para el resto no puedo
4
5
usar ni A ni B. Tenemos por tanto 6 letras y 1 posición. Luego hay 6.
4

5 0
Palabras que contienen exactamente cinco B: hay una palabra. 6
5

5 5
Sumando todas las posibilidades: i=1 65−i
i
5. Tenemos 15 bolas numeradas del 1 al 15. Hay 10 de color negro y 5 de color blanco. Queremos formar
grupos de 4 bolas, usando dos de cada color, y luego colocarlas en orden creciente. ¿De cuántas formas
distintas podemos hacerlo?
10 · 9 · 5 · 4
105
X 2 2
105
2 2 ·4
105
2 2 · 4!
Solución (b)
Cogemos las 10 de color negro y escogemos dos. El orden, de momento no importa, por lo tanto
hay
tantas formas de coger dos bolas negras como subconjuntos de cardinal 2 de bolas negras: 10
2
Cogemos las 5 de color blanco y escogemos dos. El orden, de momento no importa, por lo tanto hay
tantas formas de coger dos bolas blancas como subconjuntos de cardinal 2 de bolas blancas: 52
5
Como podemos combinar cada grupo de 2 negras con todos los de dos bolas blancas, hay 10 2 2 grupos
5
de 4 bolas. Como ponerlos en orden creciente sólo hay una posibilidad, la respuesta final es 10
2 2 .
6. Sean A = A, {P A , QA }, donde A = {a, b} P A = {a}, QA = {b}, σ(x) = b, I = A, σ

ϕ1 = ∀y P (y) → (Q(x) ∨ x = y) , ϕ2 = ∀y (P (y) ∨ x = y) → Q(y) . Entonces:
X I es modelo de ϕ1 , pero no de ϕ2 .
I es modelo de ϕ1 y de ϕ2 .
I no es modelo de ϕ1 ni de ϕ2
Solución
Para que I = A, σ sea

I |= ∀y P (y) → (Q(x) ∨ x = y) con A = {a, b}, tiene que ser

I[a/y] |= P (y) → (Q(x) ∨ x = y) y

I[b/y] |= P (y) → (Q(x) ∨ x = y)

Al ser a ∈ P A para que I[a/y] |= P (y) → (Q(x) ∨ x = y) tiene que verificarse
A A A
I[a/y] |= (Q(x) ∨ x = y) ⇐⇒ σ(x) ∈ Q ó σ(x) = a ⇐⇒ b ∈ Q ó b = a. Puesto que b ∈ Q =⇒
I[a/y] |= P (y) → (Q(x) ∨ x = y)
A
Trivialmente I[b/y] |= P (y) → (Q(x) ∨ x = y) ya que es una implicación y b ∈ P es decir

I[b/y] |= P (y) =⇒ I[b/y] |= P (y) → (Q(x) ∨ x = y) =⇒ I |= ∀y P (y) → (Q(x) ∨ x = y)

I |= ∀y (P (y) ∨ x = y) → Q(y) con A = {a, b} ⇐⇒

I[a/y] |= (P (y) ∨ x = y) → Q(y) y

I[b/y] |= (P (y) ∨ x = y) → Q(y)
I[a/y] |= (P (y) ∨ x = y) ya que a ∈ P A =⇒ I[a/y] |= P (y) =⇒ I[a/y] |= (P (y) ∨ x = y), por tanto,
para que I[a/y] |= (P (y) ∨ x = y) → Q(y) es necesario que I[a/y] |= Q(y) ⇐⇒ a ∈ QA lo que es
falso. Luego, I |= ∀y P (y) → (Q(x) ∨ x = y)
7. [1 punto] Demuestra por inducción matemática
1 1 1 n−1
+ + ···+ = ∀n ≥ 2
2∗1 3∗2 n ∗ (n − 1)) n
Indica el tipo de inducción que utilizas.

Solución
Lo demostramos por inducción simple:
Caso Base:
1 2−1 1
n = 2 S(2) ≡ = = Luego se cumple.
2∗1 2 2
1 1 1 k−1
(HI) S(k) ≡ + + ··· + =
2∗1 3∗2 k ∗ (k − 1)) k
Paso Inductivo S(k) =⇒ S(k + 1)
?
1 1 1 1 (k + 1) − 1 k
S(k + 1) ≡ + + ···+ + = =
2∗1 3∗2 k ∗ (k − 1) (k + 1) ∗ ((k + 1) − 1)) k+1 k+1
1 1 1 1 k−1 1 (k − 1)(k + 1) 1
+ + ··· + + = + = + =
2∗1 3∗2 k ∗ (k − 1) (k + 1) ∗ k k (k + 1)k k(k + 1) (k + 1)k

↑
1 1 1 k − 1
H.I. + + ··· + =
2∗1 3∗2 k ∗ (k − 1)) k
k2 − 1 + 1 k
= =
(k + 1)k k+1
8. [1 punto] Sea g : Z+ × {0, 1} −→ Z

n − 1 si m = 0
g(n, m) =
−n si m = 1
Estudia si la función es inyectiva, suprayectiva, demostrando lo que proceda.
Solución
Es inyectiva:
g(n1 , m1 ) = g(n2 , m2 ) =⇒ (n1 , m1 ) = (n2 , m2 ).
g(n1 , 0) = n1 − 1 ≥ 0 ya que n1 ≥ 1 (n1 ∈ Z+ )

g(n2 , 1) = −n2 ≤ −1 ya que n2 ≥ 1 Por tanto, g(n1 , 0) = g(n2 , 1) cualesquiera que sean n1 y n2
Si g(n1 , m1 ) = g(n2 , m2 ) =⇒ m1 = m2
Hay dos posibles casos:
m1 = 0 g(n1 , 0) = g(n2 , 0) =⇒ n1 − 1 = n2 − 1 =⇒ n1 = n2 =⇒ (n1 , 0) = (n2 , 0)
m1 = 1 g(n1 , 1) = g(n2 , 1) =⇒ −n1 = −n2 =⇒ n1 = n2 =⇒ (n1 , 1) = (n2 , 1)
Es suprayectiva:
∀n ∈ Z ∃(n, m) ∈ Z+ × {0, 1} tal que g(n, m) = n
Distinguimos casos:
• Sea n = 0 g(1, 0) = 1 − 1 = 0
• Sea n > 0 Como g(n1 , 0) = n1 − 1 ≥ 0 ya que n1 ≥ 1 pero g(n2 , 1) = −n2 ≤ −1 ya que
n2 ≥ 1 necesariamente si g(n, m) = n tiene que ser m = 0.
g(n, 0) = n − 1 = n =⇒ n = n + 1
g(n + 1, 0) = n + 1 − 1 = n
• Sea n < 0 Por lo razonado en el punto anterior, si g(n, m) = n tiene que ser m = 1.
g(n, 1) = −n = n =⇒ n = −n
g(−n , 1) = −(−n ) = n
9. [1.5 puntos] Sea A = D24 × D24 , donde D24 = {x ∈ N1 |x | 24} Definimos una relación R en A como
sigue:
(a, b)R(c, d) ⇐⇒ a divide c y b divide d
Sea S = {(2, 2), (2, 3), (3, 2), (6, 4), (8, 4), (12, 6)}
a) Demuestra que es una relación de orden en A.
b) Dibuja el diagrama de Hasse para S.
Solución
24 = 23 · 3 =⇒ D24 = {1, 2, 3, 4, 6, 8, 12}
a) Relación de orden en A.
R es una relación de orden ⇐⇒ R es reflexiva, antisimétrica y transitiva.
Reflexiva: ∀x xRx ⇐⇒ ∀(a, b) ∈ A (a, b)R(a, b) ⇐⇒ a divide a y b divide b. Se verifica trivial-
mente.
Antisimétrica: ∀x, y xRy ∧ yRx =⇒ x = y
∀(a, b), (c, d) ∈ A (a, b)R(c, d) ∧ (c, d)R(a, b) =⇒ (a, b) = (c, d).
(a, b)R(c, d) ⇐⇒ a divide c y b divide d =⇒ c = a · t1 y d = b · t2
(c, d)R(a, b) ⇐⇒ c divide a y d divide b =⇒ a = c · t1 y b = d · t2
a = c · t1 = a · t1 · t1 =⇒ a(1 − t1 · t1 ) = 0 =⇒ t1 · t1 = 1 =⇒ t1 = 1 y t1 = 1 ya que a, c ∈ D24 .

Por tanto a = c
d = b · t1 = d · t2 · t1 =⇒ d(1 − t2 · t1 ) = 0 =⇒ t2 · t1 = 1 =⇒ t1 = 1 y t2 = 1 ya que b, d ∈ D24 .
Por tanto b = d
En consecuencia (a, b) = (c, d).
Transitiva: ∀x, y, z xRy ∧ yRz =⇒ xRz.
∀(a, b), (c, d), (e, f ) ∈ A (a, b)R(c, d) ∧ (c, d)R(e, f ) =⇒ (a, b)R(e, f ).
(a, b)R(c, d) ⇐⇒ a divide c y b divide d =⇒ c = a · t1 ( y d = b · t2
(c, d)R(e, f ) ⇐⇒ c divide e y d divide f =⇒ e = c · t1 ( y f = d · t2
e = c · t1 =⇒ e = a · t1 · t1 =⇒ a divide e
f = d · t2 =⇒ f = b · t2 · t2 =⇒ b divide f
Por tanto, a divide e y b divide f ⇐⇒ (a, b)R(e, f )
b) Diagrama de Hasse para S.
(8, 4) • (12,6) • • (6, 4)
(2, 2) • (3, 2) • • (2, 3)
Los elementos minimales de S son todos los elementos x ∈ S tales que no hay elementos y ∈ S
tal que yRx.
Hay tres elementos que lo verifican: (2,2), (3,2) y (2,3).
Los elementos maximales de S son los elementos x ∈ S tales que no hay elementos y ∈ S tales
que xRy.
Hay tres elementos que lo verifican: (8,4), (12,6), (6,4).
Al haber varios elementos maximales y varios elementos minimales no hay máximo ni mı́nimo. (El
máximo tiene que ser maximal y único. Análogamente el mı́nimo tiene que ser minimal y único.)
CotaInf (S) = {x ∈ A|xRy ∀y ∈ S}

CotaInf (S) = {(a, b) ∈ A|(a, b)R(c, d) ∀(c, d) ∈ S} = {(1, 1)}
El conjunto CotaInf (S) = {(1, 1)} tiene máximo que es el elemento (1, 1) =⇒ ı́nfimo(S) = (1,1).
CotaSup(S) = {(a, b) ∈ A|(c, d)R(a, b) ∀(c, d) ∈ S}
CotaSup(S) = {(24, 12), (24, 24)} ya que mcm(8, 6) = 24 y mcm(6, 4) = 12. El conjunto CotaSup(S)
tiene mı́nimo que es el elemento (24, 12) =⇒ supremo(S) = (24,12).
10. [1.25 puntos] Consideramos los grafos Gn = (Vn , En ), n ≥ 2, con vértices Vn = {1, 2, 3, 4} ×
{0, 1, . . . , n − 1} y aristas
En = {{(1, 0), (2, 0)}, {(3, 0), (4, 0)}} ∪ {{(a, b), (c, d)}|a = c ∧ |b − d| = 1 ó b = d = n − 1 ∧ |a − c| = 1}
y contesta de forma razonada las siguientes preguntas.
a) Dibuja el grafo representando los vértices como puntos en el plano XY.

b) ¿Cuál es el valor de n si Gn tiene 89 aristas?
c) ¿Para qué valores de n es Gn euleriano?
d ) ¿Para qué valores de n es Gn hamiltoniano?
e) ¿Para qué valores de n es Gn semieuleriano?
f ) ¿Para qué valores de n es Gn conexo?
Solución

• • • •
.. .. .. ..
. . . .
• • • •
• • • •
• • • •
a) Los grados de los vértices son:

n de grado 2 (1, 0) . . . , (1, n − 1)
n − 1 de grado 2 (2, 0) . . . , (2, n − 2)
n − 1 de grado 2 (3, 0) . . . , (3, n − 2)
n de grado 2 (4, 0) . . . , (4, n − 1)
2 de grado 3 (2, n − 1) y (3, n − 1)

Aplicamos gr(v) = 2|E| =⇒ 2n + 2(n − 1) + 2(n − 1) + 2n + 2 · 3 = 2 · 89 = 178
178 = 8n − 4 + 6 =⇒ 176 = 8n =⇒ n = 22
b) Gn es conexo para todo n, n ≥ 2. La componente conexa de [(1, n − 1)] = {(1, i)|0 ≤ i ≤
n − 1} ∪ {(2, i)|0 ≤ i ≤ n − 1} ∪ {(3, i)|0 ≤ i ≤ n − 1} ∪ {(4, i)|0 ≤ i ≤ n − 1} = V
c) Gn no es hamiltoniano para ningún n, n ≥ 2.
(2, n − 1) es un punto de corte. Si lo eliminamos junto con las aristas adyacentes, queda un grafo
con más componentes conexas.
• • •
•
.. .. .. ..
. . . .
• • • •
• • • •
• • • •
Tenemos dos componentes conexas:

[(1, n − 1)] = {(1, i)|0 ≤ i ≤ n − 1} ∪ {(2, i)|0 ≤ i ≤ n − 2}
[(3, n − 1)] = {(3, i)|0 ≤ i ≤ n − 1} ∪ {(4, i)|0 ≤ i ≤ n − 1}
d ) Gn es semieuleriano ⇐⇒ 2 vertices son de grado impar y el resto par.
Gn es semieuleriano para todo n, n ≥ 2, ya que (2, n − 1) y (3, n − 1) son de grado 3 y el resto
son todos de grado 2.
11. [1.25 puntos]
a) Sean ϕ1 ≡ ∃x(P (x) ∧ ¬∀y(Q(y) → R(x, y))) ϕ1 ≡ ∃x(P (x) ∧ ¬∃y(Q(y) ∧ R(x, y)))
Una de las dos fórmulas sirve para formalizar el enunciado hay un alumno que no resuelve
ningún problema. Indica cuál es la fórmula que corresponde a dicho enunciado y da la in-
terpretación de los sı́mbolos de predicado que intervienen en la fórmula. (Por ejemplo, P (x)
puede significar P (x) ≡ x es un alumno.)
Sean
ϕ2 ≡ ∀x (P (x) ∧ A(x)) → ¬∀y(Q(y) → ¬R(x, y)) ϕ2 ≡ ∃x (P (x) ∧ A(x)) → ∃y(Q(y) ∧ R(x, y))
Una de las dos fórmulas sirve para formalizar el enunciado un alumno que aprueba tiene que
haber resuelto algún problema. Indica cuál es la fórmula que corresponde a dicho enunciado y
da la interpretación de los sı́mbolos de predicado que intervienen en la fórmula.
Sean ϕ3 ≡ ∃x(P (x) ∧ ¬A(x)) ϕ3 ≡ ¬∀x(P (x) ∧ A(x))
Una de las dos fórmulas sirve para formalizar el enunciado no todos los alumnos aprueban
. Indica cuál es la fórmula que corresponde a dicho enunciado y da la interpretación de los
sı́mbolos de predicado que intervienen en la fórmula.

b) Utilizando el apartado (a) formaliza la siguiente argumentación en lógica de primer orden:
Hay un alumno que no resuelve ningún problema.

Un alumno que aprueba tiene que haber resuelto algún problema.
∴ No todos los alumnos aprueban.
Estudia, utilizando tableaux, si la argumentación dada es válida. En caso de no serlo, construye

una interpretación que lo justifique.
Solución
a) P (x) ≡ x es un alumno.
Q(x) ≡ x es un problema.
R(x, y) ≡ x resuelve y.
A(x) ≡ x aprueba.
Hay un alumno que no resuelve ningún problema ≡ ∃x(P (x) ∧ ¬∃y(Q(y) ∧ R(x, y)))
(Existe x, tal que x es un alumno (∃x(P (x)) y no hay un problema y (¬∃y(Q(y)) tal que el alumno
x resuelve el problema y (¬∃y(Q(y) ∧ R(x, y))))
Un alumno
que aprueba tiene que haber resuelto
algún problema
≡ ∀x (P (x) ∧ A(x)) → ¬∀y(Q(y) → ¬R(x, y))
(Si un alumno cualquiera aprueba (∀x(P (x) ∧ A(x))) entonces existe un problema y resuelto
por el alumno x (∃y(Q(y) ∧ R(x, y) ∼ ¬∀y(Q(y) → ¬R(x, y)) ∼ ∃y¬(Q(y) → ¬R(x, y)) ∼
∃y(Q(y) ∧ ¬¬R(x, y) ∼ ∃y(Q(y) ∧ R(x, y))
No todos los alumnos aprueban ≡ ∃x(P (x) ∧ ¬A(x)) (Hay un alumno x que no aprueba )
b) 1 ∃x(P (x) ∧ ¬∃y(Q(y) ∧ R(x, y)))

2 ∀x (P (x) ∧ A(x)) → ¬∀y(Q(y) → ¬R(x, y))
3 ¬∃x(P (x) ∧ ¬A(x))
4 P (a) ∧ ¬∃y(Q(y) ∧ R(a, y)) (Rδ (1)) a constante nueva
5 P (a)
6 ¬∃y(Q(y) ∧ R(a, y)) (Rα (4))
7 ¬(P (a) ∧ ¬A(a)) (Rγ (3))
¬P (a) 8 ¬¬A(a) (Rβ (7))

9 (P (a) ∧ A(a)) → ¬∀y(Q(y) → ¬R(a, y))) (Rγ (2))
¬(P (a) ∧ A(a)) 10 11 ¬∀y(Q(y) → ¬R(a, y)) (Rβ (9))
(Rβ (10)) ¬P (a) ¬A(a) 12 ¬(Q(b) → ¬R(a, b)) (Rδ (11)) b cte nueva

13 Q(b)

14 ¬¬R(a, b) (Rα (12))
15 ¬(Q(b) ∧ R(a, b)) (Rγ (6))
¬Q(b) ¬R(a, b) (Rβ (15))

El tableau se cierra, luego el razonamiento es válido.

Extraord in A Rios

Uploaded by

Copyright:

Available Formats

Extraord in A Rios

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Extraord in A Rios

Uploaded by

Copyright:

Available Formats

ExFinSept: 2014*, 2015-2018.

Matemática Discreta y Lógica Matemática II

1º Grado en Ingeniería Informática

Reservados todos los derechos.

Time allowed: 3 hours

Reservados todos los derechos.

3. Let A = {a, b, c, d, e, f } be a set. Mark the correct answer:

4. If ⊑ is a partial ordering, then ⊑−1 is:

7. Let ϕ1 ≡ (q → p) ∧ (p ↔ ¬q) and ϕ2 ≡ ∀x¬P (x) ∧ ∃xQ(x) ∧ ¬∃x¬(P (x) → ¬Q(x))

Mark the correct answer:

Reservados todos los derechos.

(x, y) ∈ R iff x + y is even

Prove that R is an equivalence relation.

Time allowed: 3 hours

2. Let a, b, c ∈ N such that a | (b + c), then:

Reservados todos los derechos.

4. Let R be a relation defined on Z \ {0} by a R b ⇐⇒ a | b or b | a. What type of relation is R?

5. Given the following graph, mark the correct answer:

(a) It is hamiltoniano and eulerian (b) It is eulerian but it is not hamiltonian

1. [1 point] Show by induction that for every n ∈ N1 we have

Reservados todos los derechos.

Translate it into First Order Logic.

ϕ1 ≡ ∀x∃y(N (x) ∧ M (y) ∧ P (x, y)).

Time allowed: 3 hours

Reservados todos los derechos.

Solution R is an ordering ⇐⇒ R is reflexive, antisymmetric and transitive.

xRx ⇐⇒ x | x or x | x, hence it is reflexive.

Symmetric: ∀x, y xRy =⇒ yRx

Reservados todos los derechos.

Reservados todos los derechos.

Using truth tables:

Reservados todos los derechos.

Reservados todos los derechos.

a) ⊑ is a total ordering on A ⇐⇒ ∀x, y ∈ A x ⊑ y or y ⊑ x

A canary is yellow if and only if any of its parents is a yellow canary.

Reservados todos los derechos.

Translate it into First Order Logic.

∀x(C(x) → (Y (x) ↔ ∃y(P (x, y) ∧ C(y) ∧ Y (y))))

5. [1 point] Consider the following formulas:

1 ∀x∃y(N (x) ∧ M (y) ∧ P (x, y))

2 ∀x∀y((P (x, y) ∧ Q(x, y)) → R(x))

3 ∃x(N (x) ∧ ∀y(M (y) → Q(x, y)))

4 ¬∃x(N (x) ∧ R(x))

7 ∀y(M (y) → Q(c, y)) (Rα (5)))

8 ∃y(N (c) ∧ M (y) ∧ P (c, y)) (Rγ (1)) with c

9 N (c) ∧ M (d) ∧ P (c, d) (Rδ (8)) d new constant

11 M (d) ∧ P (c, d) (Rα (9))

Reservados todos los derechos.

13 P (c, d) (Rα (11))

14 ∀y((P (c, y) ∧ Q(c, y)) → R(c)) (Rγ (2)) with c

15 (P (c, d) ∧ Q(c, d)) → R(c) (Rγ (14)) with d

¬(P (c, d) ∧ Q(c, d)) 16 17 R(c) (Rβ (15))

¬P (c, d) 18 19 ¬Q(c, d) Rβ (16))

¬M (d) 22 23 Q(c, d) ¬N (c) 24 25 ¬R(c) (Rβ (20))

Read the following instructions carefully:

Write your name and group in the space provided.

1. Let A, B and C be arbitrary sets. Mark the correct answer:

Reservados todos los derechos.

f is surjective but not injective.