1.1.

 Argumentos y proposiciones lógicas 

1. 

a) 

P=”10 es primo” 

Q=”10 es igual a 2 por 5” 

1. Si P, entonces no Q
2. Q 
3. No P 

b) 

P=”Llueve con frecuencia” 

Q=”Los campesinos se quejan” 

1. Si P, entonces Q 
2. Si no P, entonces Q
3. Q 

3. 

a) Atómica 

b) Compuesta 

c) Compuesta 

d) Compuesta 

 
1.2. Conexiones lógicas 

1. 

a) ൓ܴ 

b) ܴ ‫ܪ ר‬ 

c) ܴ ‫ܪ ש‬ 

d) ܴ ֜ ‫ܪ‬ 

e) ‫ܴ ֜ ܪ‬ 

3. 

P  Q  PոQ 
F  F  F 
F  V  V 
V  F  V 
V  V  F 
 
1.3. Proposiciones compuestas 

3. 

a) 

P=”Te vas” 

Q=”Llamaré a la policía” 

൓ܲ ֜ ܳ 

b) 

P=”Dos niños tienen los mismos tíos” 

Q=”Los niños tienen la misma madre” 

R=”Los niños tienen el mismo padre” 

ܲ ֞ ܳ ‫ܴ ר‬ 

c) 

P=”Es un día agradable” 

Q=”Está soleado” 

R=”No hace calor” 

ܲ ֚ ܳ ֜ ൓ܴ 

d) 

P=”i>j” 

Q=”i‐1>j” 

R=”j=3” 

ܲ ֜ ܳ ‫ ר‬൓ܲ ֜ ܴ 

5. 

a) 

P=”María es alta” 

Q=”Jaime es pequeño” 

R=”Jaime es ágil” 

ܲ ‫ ר‬ሺܳ ‫ܴ ר‬ሻ 

Alcances: 
 • ܲ y ሺܳ ‫ܴ ר‬ሻ de ‫ר‬ 
• ܳ y ܴ de ‫ר‬ 

b) 

P=”x es mayor que y” 

Q=”y es mayor que z” 

R=”x es mayor que z” 

ܲ ‫ܴ ֜ ܳ ר‬ 

Alcances: 

• ܲ ‫ܳ ר‬ y ܴ de ֜ 
• ܲ y ܳ de ‫ר‬ 

c) 

P=”La extracción de minerales es provechosa” 

Q=”La concentración de mineral es alta” 

R=”La distancia hacia el mercado es corta” 

ܲ ֚ ܳ ֜ ܴ 

Alcances: 

• ܲ ֚ ܳ y ܴ de ֜ 
• ܲ y ܳ de ֚ 

7. 

a) ሺ൓ሺܲ ‫ܳ ר‬ሻ ‫ ש‬൓ܴሻ ‫ ש‬൫ሺܳ ֞ ൓ܲሻ ֜ ሺܴ ‫ ש‬൓ܵሻ൯ ൌ ሺ൓ሺܸ ‫ܸ ר‬ሻ ‫ܸ ש‬ሻ ‫ ש‬൫ሺܸ ֞ ‫ܨ‬ሻ ֜
ሺ‫ܸ ש ܨ‬ሻ൯ ൌ ሺ‫ܸ ש ܨ‬ሻ ‫ ש‬ሺ‫ܸ ֜ ܨ‬ሻ ൌ ܸ ‫ ܨ ש‬ൌ ܸ 

b) ሺܲ ֞ ܴሻ ‫ ר‬ሺ൓ܳ ֜ ܵሻ ൌ ሺܸ ֞ ‫ܨ‬ሻ ‫ ר‬ሺ‫ܨ ֜ ܨ‬ሻ ൌ ‫ ܸ ר ܨ‬ൌ ‫ܨ‬ 

c) ቀܲ ‫ ש‬൫ܳ ֜ ሺܴ ‫ ר‬൓ܲሻ൯ቁ ֞ ሺܳ ‫ ש‬൓ܵሻ ൌ ቀܸ ‫ ש‬൫ܸ ֜ ሺ‫ܨ ר ܨ‬ሻ൯ቁ ֞ ሺܸ ‫ܸ ש‬ሻ ൌ

ሺܸ ‫ܨ ש‬ሻ ֞ ܸ ൌ ܸ  

9. 

൓൓ܲ es una ecep porque ൓ܲ lo es (ya que, a su vez, lo es ܲ en tanto que variable 
proposicional) 

No lo es según la definición de la Sección 1.3.2. porque allí se indica que lo es ሺ൓‫ܣ‬ሻ 

 
1.4. Tautologías y contradicciones 

1. 

a) 

P  Q  P֜Q  P‫(ר‬P֜Q)  (P‫(ר‬P֜Q))֜Q

F  F  V  F  V 
F  V  V  F  V 
V  F  F  F  V 
V  V  V  V  V 

Tautología 

b) 

P  Q  P֜Q  ¬P‫ש‬Q (P֜Q)֞(¬P‫ש‬Q)

F  F  V  V  V 
F  V  V  V  V 
V  F  F  F  V 
V  V  V  V  V 

Tautología 

c) 

P  Q  R  P֜Q  Q֜R  (P֜Q)‫(ש‬Q֜R) P֜R ((P֜Q)‫(ש‬Q֜R))֜(P֜R) 

F  F  F  V  V  V  V  V 
F  F  V  V  V  V  V  V 
F  V  F  V  F  V  V  V 
F  V  V  V  V  V  V  V 
V  F  F  F  V  V  F  F 
V  F  V  F  V  V  V  V 
V  V  F  V  F  V  F  F 
V  V  V  V  V  V  V  V 

Contingencia 

d) 

P  Q  P֞Q  P‫ר‬Q ¬P‫¬ר‬Q  (P‫ר‬Q)‫¬(ש‬P‫¬ר‬Q) (P֞Q)֞(P‫ר‬Q)‫¬(ש‬P‫¬ר‬Q) 

F  F  V  F  V  V  V 
F  V  F  F  F  F  V 
V  F  F  F  F  F  V 
V  V  V  V  F  V  V 

Tautología 

e) 

P  Q  P֜Q  Q‫(ר‬P֜Q)  Q‫(ר‬P֜Q)֜P

F  F  V  F  V 
F  V  V  V  F 
V  F  F  F  V 
V  V  V  V  V 

Contingencia 

f) 

P  Q  R  Q‫ר‬R  ¬(P‫(ש‬Q‫ר‬R))  P‫ש‬Q P‫ש‬R (P‫ש‬Q)‫(ר‬P‫ש‬R) ¬(P‫(ש‬Q‫ר‬R))֞((P‫ש‬Q)‫(ר‬P‫ש‬R)) 

F  F  F  F  V  F  F  F  F 
F  F  V  F  V  F  V  F  F 
F  V  F  F  V  V  F  F  F 
F  V  V  V  F  V  V  V  F 
V  F  F  F  F  V  V  V  F 
V  F  V  F  F  V  V  V  F 
V  V  F  F  F  V  V  V  F 
V  V  V  V  F  V  V  V  F 

Contradicción 

3. 

P  Q  P֜Q  ¬P֜Q (P֜Q)‫¬(ר‬P֜Q) (P֜Q)‫¬(ר‬P֜Q)֜Q

F  F  V  F  F  V 
F  V  V  V  V  V 
V  F  F  V  F  V 
V  V  V  V  V  V 

ሺ‫ܤ ֜ ܣ‬ሻ ‫ ר‬ሺ൓‫ܤ ֜ ܣ‬ሻ ֜ ‫ܤ‬ 

‫ ܣ‬ൌ ൓ܲ
ൠ ሺ൓ܲ ֜ ൓ܳሻ ‫ ר‬ሺ൓൓ܲ ֜ ൓ܳሻ ‫ؠ‬൐ ൓ܳ 
‫ ܤ‬ൌ ൓ܳ

5. 

a) 

P  Q  R  P‫ש‬Q  P֜R  Q֜R  (P֜R)‫(ש‬Q֜R) P‫ש‬Q֜(P֜R)‫(ש‬Q֜R)

F  F  F  F  V  V  V  V 
F  F  V  F  V  V  V  V 
F  V  F  V  V  F  V  V 
F  V  V  V  V  V  V  V 
V  F  F  V  F  V  V  V 
V  F  V  V  V  V  V  V 
V  V  F  V  F  F  V  V 
V  V  V  V  V  V  V  V 

b) 

P  Q  R  P‫ש‬Q  P֜R  Q֜R  ¬((P֜R)‫(ש‬Q֜R)) P‫ש‬Q‫(¬ר‬P֜R)‫(ש‬Q֜R)

F  F  F  F  V  V  F  F 
F  F  V  F  V  V  F  F 
F  V  F  V  V  F  F  F 
F  V  V  V  V  V  F  F 
V  F  F  V  F  V  F  F 
V  F  V  V  V  V  F  F 
V  V  F  V  F  F  F  F 
V  V  V  V  V  V  F  F 
 
1.5. Equivalencias lógicas y su utilización 

1. 

a) ሺܲ ֜ ܳሻ ‫ ר‬ሺܳ ֜ ܴሻ ൌ ሺ൓ܲ ‫ܳ ש‬ሻ ‫ ר‬ሺ൓ܳ ‫ܴ ש‬ሻ 

b) ሺܲ ֜ ܳሻ ֞ ൫ሺܲ ‫ܳ ר‬ሻ ֞ ܳ൯ ൌ ሺ൓ܲ ‫ܳ ש‬ሻ ֞ ൫ሺܲ ‫ܳ ר‬ሻ ‫ ש ܳ ר‬൓ሺܲ ‫ܳ ר‬ሻ ‫ ר‬൓ܳ൯ ൌ
൫ሺ൓ܲ ‫ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ ש ܳ ר‬൓ሺܲ ‫ܳ ר‬ሻ ‫ ר‬൓ܳሻ൯ ‫ ש‬൫൓ሺ൓ܲ ‫ܳ ש‬ሻ ‫ ר‬൓ሺܲ ‫ ש ܳ ר‬൓ሺܲ ‫ܳ ר‬ሻ ‫ ר‬൓ܳሻ൯ 

c) ൓ܲ ֜ ൓ܳ ൌ ൓൓ܲ ‫ ר‬൓ܳ ൌ ܲ ‫ ר‬൓ܳ 

3. 

a) ሺܲଷ ‫ܸ ר‬ሻ ‫ ר‬ሺܲଶ ‫ܸ ר‬ሻ ൌ ܲଶ ‫ܲ ר‬ଷ  

b) ቀܲଷ ‫ ר‬൫ܲଶ ‫ ר‬ሺܲଵ ‫ܲ ר‬ଷ ሻ൯ቁ ൌ ܲଵ ‫ܲ ר‬ଶ ‫ܲ ר‬ଷ  

c) ሺܲଷ ‫ܸ ר‬ሻ ‫ ר‬ሺܲଶ ‫ ר‬൓ܲଷ ሻ ൌ ܲଷ ‫ܲ ר‬ଶ ‫ ר‬൓ܲଷ ൌ ܲଶ ‫ ܨ ר‬ൌ ܲଶ  

5. [Suponiendo que “mover las negaciones interiores” quiera decir “complementar todas las 
expresiones atómicas”] 

a) ൓൫ܲଵ ‫ ר‬൓ሺܲଶ ‫ ש‬൓ܲଷ ሻ൯ ൌ ൓൓൫൓ܲଵ ‫ ש‬൓൓൓ሺ൓ܲଶ ‫ ר‬൓൓ܲଷ ሻ൯ ൌ ൓ܲଵ ‫ ש‬൓ሺ൓ܲଶ ‫ܲ ר‬ଷ ሻ 

b) ܲ ‫ ש‬൓൫ܲ ‫ ר‬൓ሺܳ ‫ܴ ש‬ሻ൯ ൌ ܲ ‫ ש‬൓൓൫൓ܲ ‫ ש‬൓൓൓ሺ൓ܳ ‫ ר‬൓ܴሻ൯ ൌ ܲ ‫ ש‬൓ܲ ‫ ש‬൓ሺ൓ܳ ‫ ר‬൓ܴሻ ൌ
൓ሺ൓ܳ ‫ ר‬൓ܴሻ 

7. 

a) ሺܲ ֜ ܳሻ ֞ ሺܲ ֜ ܴ ‫ܳ ש‬ሻ ൌ ሺ൓ܲ ‫ܳ ש‬ሻ ֞ ሺ൓ܲ ‫ܳ ש ܴ ש‬ሻ ൌ ሺ൓ܲ ‫ܳ ש‬ሻ ‫ ר‬ሺ൓ܲ ‫ܳ ש ܴ ש‬ሻ ‫ש‬
൓ሺ൓ܲ ‫ܳ ש‬ሻ ‫ ר‬൓ሺ൓ܲ ‫ܳ ש ܴ ש‬ሻ ൌ ൫ሺ൓ܲ ‫ܳ ש‬ሻ ‫ܨ ש‬൯ ‫ ר‬൫ሺ൓ܲ ‫ܳ ש‬ሻ ‫ܴ ש‬൯ ‫ ש‬ሺܲ ‫ ר‬൓ܳሻ ‫ר‬
ሺܲ ‫ ר‬൓ܳ ‫ ר‬൓ܴሻ ൌ ሺ൓ܲ ‫ܳ ש‬ሻ ‫ ש‬ሺ‫ܴ ר ܨ‬ሻ ‫ ש‬ሺܲ ‫ ר‬൓ܳ ‫ ר‬൓ܴሻ ൌ ሺ൓ܲ ‫ܳ ש‬ሻ ‫ ש‬ሺܲ ‫ ר‬൓ܳ ‫ ר‬൓ܴሻ ൌ
ሺ൓ܲ ‫ܲ ש ܳ ש‬ሻ ‫ ר‬ሺ൓ܲ ‫ ש ܳ ש‬൓ܳሻ ‫ ר‬ሺ൓ܲ ‫ ש ܳ ש‬൓ܴሻ 

b) ሺܲ ‫ܳ ש‬ሻ ‫ ר‬൫ܲ ‫ ש‬ሺܴ ‫ܵ ר‬ሻ൯ ‫ ש‬ሺܲ ‫ܵ ר ܳ ר‬ሻ ൌ ሺܲ ‫ܳ ש‬ሻ ‫ ר‬൫ሺܲ ‫ܴ ש‬ሻ ‫ ר‬ሺܲ ‫ܵ ש‬ሻ൯ ‫ ש‬ሺܲ ‫ܵ ר ܳ ר‬ሻ ൌ
൫ሺܲ ‫ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ܴ ש‬ሻ ‫ ר‬ሺܲ ‫ܵ ש‬ሻ൯ ‫ ש‬ሺܲ ‫ܵ ר ܳ ר‬ሻ ൌ ሺܳ ‫ܵ ר ܴ ר‬ሻ ‫ ש ܲ ש‬ሺܲ ‫ܵ ר ܳ ר‬ሻ ൌ ሺܳ ‫ר ܴ ר‬
ܵሻ ‫ ש‬൫ܲ ‫ ר‬ሺܲ ‫ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ܵ ש‬ሻ൯ ൌ ሺܳ ‫ܲ ש ܵ ר ܴ ר‬ሻ ‫ ר‬ሺܳ ‫ܳ ש ܲ ש ܵ ר ܴ ר‬ሻ ‫ ר‬ሺܳ ‫ש ܲ ש ܵ ר ܴ ר‬
ܵሻ ൌ ൫ሺܳ ‫ܲ ש‬ሻ ‫ ר‬ሺܴ ‫ܲ ש‬ሻ ‫ ר‬ሺܵ ‫ܲ ש‬ሻ൯ ‫ ר‬൫ሺܳ ‫ܳ ש ܲ ש‬ሻ ‫ ר‬ሺܴ ‫ܳ ש ܲ ש‬ሻ ‫ ר‬ሺܵ ‫ܳ ש ܲ ש‬ሻ൯ ‫ר‬
൫ሺܳ ‫ܵ ש ܲ ש‬ሻ ‫ ר‬ሺܴ ‫ܵ ש ܲ ש‬ሻ ‫ ר‬ሺܵ ‫ܵ ש ܲ ש‬ሻ൯ ൌ ሺܲ ‫ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ܴ ש‬ሻ ‫ ר‬ሺܲ ‫ܵ ש‬ሻ ‫ ר‬ሺܲ ‫ܳ ש‬ሻ ‫ר‬
ሺܲ ‫ܴ ש ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ܵ ש ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ܵ ש ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ܵ ש ܴ ש‬ሻ ‫ ר‬ሺܲ ‫ܵ ש‬ሻ ൌ ሺܲ ‫ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ܴ ש‬ሻ ‫ר‬
ሺܲ ‫ܵ ש‬ሻ ‫ ר‬ሺܲ ‫ܴ ש ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ܵ ש ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ܵ ש ܴ ש‬ሻ 

9. 

൓݂ ൌ ሺ൓ܲ ‫ ר‬൓ܳ ‫ ר‬൓ܴሻ ‫ ש‬ሺ൓ܲ ‫ ר ܳ ר‬൓ܴሻ ‫ ש‬ሺ൓ܲ ‫ܴ ר ܳ ר‬ሻ ‫ ש‬ሺܲ ‫ ר‬൓ܳ ‫ܴ ר‬ሻ ‫ ש‬ሺܲ ‫ ר ܳ ר‬൓ܴሻ 

݂ ൌ ሺܲ ‫ܴ ש ܳ ש‬ሻ ‫ ר‬ሺܲ ‫ ש‬൓ܳ ‫ܴ ש‬ሻ ‫ ר‬ሺܲ ‫ ש‬൓ܳ ‫ ש‬൓ܴሻ ‫ ר‬ሺ൓ܲ ‫ ש ܳ ש‬൓ܴሻ ‫ ר‬ሺ൓ܲ ‫ ש‬൓ܳ ‫ܴ ש‬ሻ 

 
1.6. Implicaciones y derivaciones lógicas 

1. 

a) 

P  Q  R  P‫ש‬Q  ¬P‫ש‬R  Premisas  Q‫ש‬R  Válido

F  F  F  F  V  F  F  V 
F  F  V  F  V  F  V  V 
F  V  F  V  V  V  V  V 
F  V  V  V  V  V  V  V 
V  F  F  V  F  F  F  V 
V  F  V  V  V  V  V  V 
V  V  F  V  F  F  V  V 
V  V  V  V  V  V  V  V 

b) 

P  Q  R  P֜Q  P֜R  Premisas  P֜Q‫ר‬R  Válido

F  F  F  V  V  V  V  V 
F  F  V  V  V  V  V  V 
F  V  F  V  V  V  V  V 
F  V  V  V  V  V  V  V 
V  F  F  F  F  F  F  V 
V  F  V  F  V  F  F  V 
V  V  F  V  F  F  F  V 
V  V  V  V  V  V  V  V 

c) 

P  Q  P  P֜Q  Premisas  P‫ר‬Q  Válido

F  F  F  V  F  F  V 
F  V  F  V  F  F  V 
V  F  V  F  F  F  V 
V  V  V  V  V  V  V 

d) 

P  Q  R  P‫ש‬Q  P֜R  Q֜R  Premisas R  Válido

F  F  F  F  V  V  F  F  V 
F  F  V  F  V  V  F  V V 
F  V  F  V  V  F  F  F  V 
F  V  V  V  V  V  V  V V 
V  F  F  V  F  V  F  F  V 
V  F  V  V  V  V  V  V V 
V  V  F  V  F  F  F  F  V 
V  V  V  V  V  V  V  V V 

3. 

a) Modus ponens 
b) Modus ponens 

c) Modus tollens 

d) Casos 

e) Simplificación 

f) Silogismo disyuntivo 

g) Adición 

h) Casos 

5. 

1. P֜Q  Premisa 
2. Q֜R  Premisa 
3. R֜P  Premisa 
4. P֜R  1,3,SH 
5. P֞R  3,4,Equ 

7. 

1. P  Hipótesis 
  2. P‫¬ש‬P  1,A 
3. P֜P‫¬ש‬P  TD 
4. ¬P  Hipótesis 
  5. P‫¬ש‬P  4,A 
6. ¬P֜P‫¬ש‬P  TD 
7. P‫¬ש‬P  3,6,Cs 
 
2.1. Componentes sintácticos del cálculo de predicados 

1. 

a) Animales 

b) Seres humanos 

c) Números enteros 

d) Números reales (incluye a los números enteros) 

e) Seres humanos (hay animales hermafroditas y de reproducción asexual) 

3. 

a)  , 1,2 , 2,3 , ,2  

b)  ,3  

c)  , , , ,  

5. 

Números naturales:  0  

Números enteros:  0  

7. 

 está ligada en toda la expresión, salvo en   

 está ligada en toda la expresión 

 es libre en toda la expresión 

9. 

a)   

b)  1  

c)  3  

d)  3  

 
2.2. Interpretaciones y validez 

1. 

, ;  , ;  ,  

3. 

a) 

     
Juan         
María         
Juana         

b) 

c) 

5. 

a)  , ,  

b)  , ,  

c)  , ,  

d)  , ,  

7. 

Esta asignación hace que no siempre se cumpla la expresión 
: 
       
       
       
     

Por ejemplo:   es igual a 
, que es igual a  , igual a   

 
2.3. Derivaciones 

1. 

1.    
2.  
3.   1,  
4.   2,  
5.   3,4,  
6.   5,  

3. 

1. ,    
2. ,   1,  
3. ,   2,  
4. ,   3,  
5. ,   4,  

5. 

1. , , :
2. ,    
3. , ,   1, ,  
4. ,   2,3,  

7. 

, , , ,
, , , , , , , ,  
, , , ,

 
2.4. Equivalencias lógicas 

1. 

3. 

5. 

a)  , , , ,  

b)   

c)   

d)   

7. 

(Equivalencias 1 y 5) 

 
2.5. Lógica de las ecuaciones 

1. 

1. Premisa 
2.   1, simplificación 
3.   1, simplificación 
4.   Sustitución de 2 en 3 
5.   Teorema de la deducción

3. 

5. 

1.   Premisa 
2.   1, premultiplicación
3.   2, inverso 
4.   3, identidad 

7. 

a) Es un grupo 

b) No es un grupo porque 0 no tiene inverso con respecto a la multiplicación 

c) No es un grupo porque ningún elemento tiene inverso salvo el 0 

9. 

1.   Axioma de reflexividad 
2.   Definición de la identidad
3.   Definición del inverso 
4.   1, particularización 
5.   4, conmutatividad 
6.   5, asociatividad 
7.   Particularización de 3 
8.   Sustitución de 7 en 6 
9.   Particularización de 2 
10. Sustitución de 9 en 8 

11. 

El álgebra descrita no tiene definidos complementos 

13. 

a)   

b) No, porque no está definida para   

 
3.1. La inducción en números naturales 

1. 

s(s(s(n)))=s(s(s(s(s(2)))))=s(s(s(s(3))))=s(s(s(4)))=s(s(5))=s(6)=7 

3. 

a) Axiomas 1, 2 y 4 

b) Axiomas 2, 3 y 4 

c) Axiomas 1, 2 y 3 

5. 

1  s(n)>n   
2  n>m֜s(n)>m   
3  s(0)>0  1,n:=0 
4  s(s(0))>0  2,3,MP 
5  s(s(s(0)))>0  2,4,MP 
6  s(s(s(s(0))))>0  2,5,MP 
  …   
k  s(s(s(s(…s(0)…))))>0  2,k‐1,MP 

Como todo número natural puede expresarse como n=s(s(s(…s(0)…))), entonces su sucesor 
s(n)=s(s(s(s(…s(0)…)))) es mayor que 0: ‫׊‬n(s(n)>0) 

7. 

Base inductiva: 

‫׊‬n‫׊‬m(n+(m+0)=   
=n+m=  0 es la identidad de la suma por la derecha 
=(n+m)+0)  0 es la identidad de la suma por la derecha 

Hipótesis inductiva: ‫׊‬n‫׊‬m‫׊‬p(n+(m+p)=(n+m)+p) 

Paso inductivo: 

‫׊‬n‫׊‬m‫׊‬p(n+1+(m+p)=  
=n+(1+m)+p=  Por la hipótesis inductiva
=(n+1)+m+p)  Por la hipótesis inductiva

9. 

Base inductiva: 32≥2∙3+3 (9≥9) 

Hipótesis inductiva: n2≥2n+3 ‫׊‬n≥3 

Paso inductivo: (n+1)2=n2+2n+1≥2n+5=2(n+1)+3 (n2+1≥5 ‫׊‬n≥3) 

   
11. 

Base inductiva: una expresión atómica tiene un símbolo (número impar) 

Hipótesis inductiva: cualquier expresión lógica formada por n literales no negados tiene un 
número impar de símbolos 

Paso inductivo: una expresión formada por n+1 literales no negados añade a la anterior un 
literal y una conexión, es decir dos símbolos; al añadirse a un número impar, el resultado es 
otro número impar (nótese que no pueden añadirse conexiones sin añadir literales) 

 
3.3. Demostración por recursividad 

1. 

Si G(x,x) es cierto, entonces pueden escribirse sucesiones de cualquier número de términos 
siendo todos ellos x 

3. 

• Dominio bien fundado: los números naturales mayores o iguales a 2 sobre la regla E 
• Base inductiva: la expresión E de un término es mayor o igual que 2, esto es, mayor o 
igual que 2∙1 
• Hipótesis inductiva: toda expresión E de n términos es mayor que 2n 
• Paso inductivo: 
o Una expresión E de n+1 términos puede ser de la forma x+y o de la forma x∙y, 
siendo x una expresión atómica e y una expresión de n términos 
o En el primer caso, la expresión tendrá un valor mínimo de 2+2n=2(n+1) 
o En el segundo caso, el mínimo será de 2∙2n=4n>2(n+1) para todo n mayor o 
igual a 2 
• Conclusión: el valor de toda expresión E es de al menos 2n, siendo n el número de 
expresiones atómicas que contiene dicha expresión 

5. 

• Base inductiva: un árbol de altura 1 tiene como mínimo 1 nodo, pues de lo contrario 
sería de altura 0 
• Hipótesis inductiva: todo árbol de altura h tiene al menos h nodos 
• Paso inductivo: al añadir una altura a un árbol de altura h, como mínimo se añadirá un 
nodo; si el árbol de altura h tiene el mínimo número de nodos para considerarse de tal 
altura (h nodos), el número de nodos mínimo será h+1 
• Conclusión: todo árbol m‐ario de altura h tiene al menos h nodos 

7. 

• Base inductiva: con un término, a1=a1 
• Hipótesis inductiva: para n términos, a1+(a2+…+(an‐1+an)…)=an+(an‐1+…+(a2+a1)…) 
• Paso inductivo: 
o Por la asociatividad, a1+(a2+…+(an‐1+an)…)+an+1=a1+(a2+…+(an‐1+(an+an+1))…) 
o Por otro lado, por la hipótesis inductiva, a1+(a2+…+(an‐1+an)…)+an‐1=an+(an‐
1+…+(a2+a1)…)+an‐1 
o Debido a la conmutatividad, esto es igual a an‐1+an+(an‐1+…+(a2+a1)…) 
o Por tanto, a1+(a2+…+(an‐1+(an+an+1))…)=an+1+an+(an‐1+…+(a2+a1)…) 
• Conclusión: para cualquier número de términos, a1+(a2+…+(an‐1+an)…)=an+(an‐
1+…+(a2+a1)…) 

 
5.1. Conjuntos y operaciones de conjuntos 

1. 

Son verdaderas a), b), d), f) y g) 

3. 

5. 

1,3,4,5,7,8  

3,5  

1,4  

7,8  

7. 

a)   

b)   

c)   

9. 

# #
# #  
# #

No, porque # # # #  

11. 

  (distributividad,  complementación  e 
identidad) 

 (distributividad, exclusión e identidad) 

13. 

, , ; , ;  

, , ; , ; ,  

, , ; ;  

; ;  
15. 

 
(distributividad, exclusión, conmutatividad e identidad) 

19. 

 
(asociativa del álgebra de proposiciones) 

21. 

  (idempotencia,  asociativa,  asociativa, 

conmutativa y asociativa del álgebra de proposiciones) 

 
5.2. Tuplas, sucesiones y conjuntos potencia 

1. 

2 1,1 , 1,3 , 2,1 , 2,3 , 3,1 , 3,3  

1,1 , 1,2 , 1,3 , 2,1 , 2,2 , 2,3 , 3,1 , 3,2 , 3,3  

3. 

0,0 0,1 , 0,2 , 1,0 , 1,1 , 1,2 , 2,0 , 2,1 , 2,2

0,1 , 0 , 0,1 , 1 , 0,1 , 2 , 0,2 , 0 , … , 2,2 , 2  

5. 

a) # 0. .9 # 0. .9 36 46.656 

b) # 0. .9 # # 0. .9 26 36 33.696 

c) # 0. .9 # 0. .9 # 0. .9 # 1.213.056
33.696 936 26 1.247.714 

7. 

: ,  

9. 

, , , 2 , , 3 , 2, , 2,2 , 2,3 , 3, , 3,2 , 3,3 , , 2,2 , 3,3

, 2 , , 3 , 2, , 2,3 , 3, , 3,2  

11. 

“Algunas personas no poseen nada”:  : : ,  

“Nadie posee todo”:  : : ,  

 
5.3. Relaciones 

1. 

1,2 , 1,3 , 2,4 , 3,3 , 4,2 ;  2,4  

1,2,3 ;  1,2,4 ;  1,2,3,4  

2,3,4 ;  2,3,4 ;  4 

, , ,
, ,  

, ,
, ,  

, , ,  

, ,
, ,
, ,
, ,  

 porque la segunda expresión contiene los elementos del 
espacio de rango que se encuentran en ambas relaciones con un elemento del espacio de 
dominio diferente; esto es,  , ,  

Si se cumple que   para todo valor de   entonces el rango de la intersección sería igual a 

la intersección de los rangos, por lo que es un subconjunto no propio 

3. 

1,2,3,6 ;  : , | ;  : ,  

1,1 , 1,2 , 1,3 , 1,6 , 2,2 , 2,3 , 2,6 , 3,3 , 3,6 , 6,6
1,1 , 1,2 , 1,3 , 1,6 , 2,2 , 2,6 , 3,3 , 3,6 , 6,6
1,1 , 1,2 , 1,3 , 1,6 , 2,2 , 2,6 , 3,3 , 3,6 , 6,6  

5. 

: , , , | ; el espacio de dominio de la intersección 
( ) es la intersección de los espacios de dominio ( ) porque para que un elemento del 
espacio de dominio   pueda estar relacionado con uno del espacio de rango resultante de la 
intersección ( ), es necesario que pertenezca al espacio de dominio  , puesto que debe 
poder estar relacionado mediante   

: , , , | ; el espacio de dominio de la unión es la 
unión de los espacios de dominio ( ), pues   puede relacionar elementos tanto de   
como de   con los del espacio de rango resultante 
 : , , , | ; el espacio de dominio del 
complemento es el mismo que el de la relación,  , ya que es igual a la diferencia entre el 
producto cartesiano del espacio de dominio por el espacio de rango y la propia relación 

7. 

, |  

, |  

, |  

9. 

1,4  

11. 

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

 
5.4. Propiedades de las relaciones 

1. 

a) Antisimetría y transitividad 

b) Irreflexividad 

c) Reflexividad, simetría y transitividad 

d) Irreflexividad y antisimetría 

Relación de equivalencia:   

No hay órdenes parciales débiles ni estrictos 

3. 

Reflexividad, simetría, antisimetría y transitividad 

Es una relación de equivalencia y un orden parcial débil 

5. 

, ; ,  

, ,  

, ,  (Para cualquier 
relación, la intersección puede no estar definida sobre toda la intersección de los espacios de 
dominio originales [cf. 5.3.1.], pero tratándose de relaciones reflexivas, se puede asegurar que 
la intersección de ambas estará definida para elementos de la intersección de estos espacios, 
es decir,  : ) 

7. 

1,2 , 4,3 , 2,2 , 2,1 , 3,1 , 3,4 , 1,3  

1,2 , 4,3 , 2,2 , 2,1 , 3,1 , 1,1 , 3,3 , 4,4  

1,2 , 4,3 , 2,2 , 2,1 , 3,1 , 1,1 , 4,1 , 3,2 , 4,2  

9. 

Solamente los pares  ,  

11. 

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

Como  1 pero  0, la relación compuesta no es transitiva, por lo que no puede 

ser una relación de equivalencia; además, por ser  0 pero  1, la relación 
tampoco es simétrica 

13. 

Como las dos relaciones tienen las mismas clases de equivalencia, de la composición surgirá 
otra partición con los mismos bloques, ya que la composición contendrá los pares  ,  tales 
que   e  ; como   está relacionada con  , entonces ambas están en la misma clase, que 
también será la de   (ya que ambas relaciones tienen las mismas clases); de este modo, tanto 
 como   estarán en el mismo bloque 

Por otra parte, estos bloques seguirán siendo clases de equivalencia, ya que al cumplir ambas 
relaciones las propiedades reflexiva, simétrica y transitiva, éstas se mantendrán: 

a) Reflexividad: de   y   surge   para todo   

b) Simetría: para todos   e  , en una misma clase de equivalencia están contenidos los pares 

,  e  , , puesto que   y   son simétricas; como las clases son las mismas, 
 y por tanto   e   

c) Transitividad: para todos  ,   y   contenidos en un mismo bloque de los creados por la 

relación compuesta, si   e  ,   ya que   y   estaban relacionados 
indirectamente en   y  , al ser estas relaciones transitivas y encontrarse ambos elementos en 
una misma clase de equivalencia 

15. 

Es antisimétrica, pues si  1 con  ,  0 

17. 

No, pues hay posibles sucesiones tales que   para cualquier valor de   (la relación   es 

el orden total equivalente a  ) 

Sí, ya que para cualquier valor inicial de una sucesión (el cual puede ser infinitamente grande), 
habrá un minimal (mayor o igual que 1) que hará de término de dicha sucesión 

19. 

La relación b) lo es porque es reflexiva (  pertenece a la misma familia que  ), simétrica (si   

pertence a la misma familia que  , el recíproco es cierto) y transitiva (si   e   pertencen a una 
familia e   y   también, entonces   y   pertenecen a la misma familia); por todo ello, se crean 
clases de equivalencia iguales a las familias 

La relación c) también es de equivalencia por razones análogas; cada clase de equivalencia es 
igual a un conjunto de hermanos 
21. 

0 1 0 0
0 0 0 1
 
0 1 0 0
1 0 0 0
1 1 0 0
0 1 0 1
(i)   
0 1 1 0
1 0 0 1
0 1 0 1
1 0 1 1
(ii)   
0 1 0 0
1 1 0 0
1 1 0 1
1 1 0 1
(iii)   
1 1 0 1
1 1 0 1

 
6.1. Representaciones y manipulaciones que involucran funciones 

1. 

: función; dominio   y rango  3  

: no es función 

: función; dominio   y rango   

: función parcial; dominio dominio  2,3  y rango  2  

3. 

~ :  es una función definida para todos los subconjuntos posibles de  , ya que 
~  siempre está definida   

Sí, dado que dicha función indicaría para todo par de conjuntos de un conjunto universal la 
pertenencia o no del primer al segundo; se podría declarar como  : , , 
siendo   el conjunto universal 

5. 

1,4 , 2,2 , 3,1 , 4,4  

1, , 2, , 3, , 4,  

, , , , ,  

1, , 2, , 3, , 4,  

, , , , ,  

7. 

a) Biyectiva (uno‐a‐uno epiyectiva) 

b) Inyectiva 

c) Epiyectiva (sobre) 

9. 

a) Epiyectiva (sobre) [Suponiendo que donde dice “par” debe decir “impar” y viceversa] 

b) Epiyectiva (sobre) 

c) Biyectiva (uno‐a‐uno epiyectiva) 

d) Biyectiva (uno‐a‐uno epiyectiva) 

11. 

Ni inyectivas ni epiyectivas: 
 • ,0 , ,0 , ,0 ,  ,1 , ,1 , ,1 ,  ,2 , ,2 , ,2  
• ,0 , ,1 , ,1 ,  ,1 , ,0 , ,1 ,  ,1 , ,1 , ,0  
• ,1 , ,0 , ,0 ,  ,0 , ,1 , ,0 ,  ,0 , ,0 , ,1  
• ,0 , ,2 , ,2 ,  ,2 , ,0 , ,2 ,  ,2 , ,2 , ,0  
• ,2 , ,0 , ,0 ,  ,0 , ,2 , ,0 ,  ,0 , ,0 , ,2  
• ,1 , ,2 , ,2 ,  ,2 , ,1 , ,2 ,  ,2 , ,2 , ,1  
• ,2 , ,1 , ,1 ,  ,1 , ,2 , ,1 ,  ,1 , ,1 , ,2  

Biyectivas: 

• ,0 , ,1 , , 2 ,  ,0 , ,2 , ,1  
• ,1 , ,0 , , 2 ,  ,1 , ,2 , ,0  
• ,2 , ,0 , , 1 ,  ,2 , ,1 , ,0  

(No hay inyectivas que no sean epiyectivas ni viceversa, ya que la cardinalidad de   es la 
misma que la de  ) 

13. 

 es sobre porque cualquier número natural puede expresarse como suma de otros dos, pero 
no es inyectiva porque para cualquier número natural la ecuación   es indeterminada 

Por razones análogas,   es sobre pero no inyectiva, pues   es indeterminada, esto es, 

tiene infinitas soluciones 

15. 

Puede haber transformaciones inyectivas de   a   porque la cardinalidad de ambos 

productos cartesianos es la misma: es decir, a un elemento  ,  se le puede asociar, por 
ejemplo,  , , y así sucesivamente 

Puesto que la cardinalidad de   es igual y no mayor a la de  , la función sería también 

sobre 

17. 

, , , , , , ,  

19. 

5
4 2 
2
5
4 1 
2

21. 

1  
 , 1
 
1, 1

Resto:  1  

 
6.2. Enumeraciones, isomorfismos y homomorfismos 

1. 

a) 

1,1,1 , 1,1,2 , 1,1,3 , 1,2,1 , 1,2,2 , 1,2,3 , 1,3,1 , 1,3,2 , 1,3,3 , 

2,1,1 , 2,1,2 , 2,1,3 , 2,2,1 , 2,2,2 , 2,2,3 , 2,3,1 , 2,3,2 , 2,3,3 , 

3,1,1 , 3,1,2 , 3,1,3 , 3,2,1 , 3,2,2 , 3,2,3 , 3,3,1 , 3,3,2 , 3,3,3  

b) 

3,1,1 , 4,1,1 , 4,1,2 , 4,2,1 , 5,1,1 , 5,1,2 , 5,1,3 , 5,2,1 , 5,2,2 , 

5,3,1 , 6,1,2 , 6,1,3 , 6,2,1 , 6,2,2 , 6,2,3 , 6,3,1 , 6,3,2 , 7,1,3 , 

7,2,2 , 7,2,3 , 7,3,1 , 7,3,2 , 7,3,3 , 8,2,3 , 8,3,2 , 8,3,3 , 9,3,3  

3. 

Para los elemento   de   y  de  , la posición en la enumeración viene dada por la fórmula 

∑ , siendo   la función que devuelve el número de tuplas cuyos valores 
suman   (por ejemplo,  1 0 y  2 1), la cual depende de la cardinalidad de   y de   

En la posición   está almacenada la tupla  ,  

5. 

: ; , , donde   expresado en forma de fracción canónica; el 
valor   es la posición de   en la enumeración formada por los números cuya fracción canónica 
tenga por denominador a   (estas enumeraciones serían  , , , … ,  , , , … ,  , , , … , y 
así sucesivamente) 

 es así inyectiva, pues cada   se corresponde con una única tupla, y sobre, ya que todas las 
tuplas en   corresponderían a una fracción; por lo tanto,   es biyectiva y el conjunto de 
los números racionales es equipotente con el de los naturales positivos y por tanto es contable 

7. 

26,4 26 25 24 23 358.800 

9. 

         
  1  2  3  4 
11. 

  1  2  3 
  1  3  2 
 
7.2. Definiciones básicas de la teoría de grafos 

1. 

Todas las aristas que salen de todos los nodos (que suman el total de grados de entrada) 
deben llegar a otros nodos del grafo, por lo que ambos totales son iguales. Además, este 
número es el número de aristas del grafo, ya que cada arista que sale de un nodo y llega a otro 
es una arista del grafo. 

3. 

El número de dígrafos sencillos posibles es limitado porque sólo pueden darse ciertas 
combinaciones de grados de entrada y de salida en cada nodo: 

Grados de entrada y salida  Propiedades 
Aristas 
Nodo 1  Nodo 2  Nodo 3  Simetría Transitividad
0  0,0  0,0  0,0     
1  1,0  0,1  0,0     
2,0  0,1  0,1     
1,1  1,1  0,0     
2 
1,1  1,0  0,1     
1,0  1,0  0,2     
2,1  1,1  0,1     
2,0  1,1  0,2     
3 
1,1  1,2  1,0     
1,1  1,1  1,1     
2,2  1,1  1,1     
2,1  2,1  0,2     
4 
2,1  1,2  1,1     
2,0  1,2  1,2     
5  2,2  2,1  1,2     
6  2,2  2,2  2,2     

Ningún digrafo sencillo y sin bucles de más de tres aristas puede ser transitivo, ya que a partir 
de las cuatro aristas ninguno es antisimétrico, y por otro lado el hecho de excluir los bucles 
impide que se cumple la reflexividad. 

5. 

El grafo de la izquierda tiene cuatro nodos adyacentes con grado de entrada (o salida) igual a 
3: u1, u2, u6 y u7. En cambio, en el de la derecha los cuatro nodos con grado de entrada (o 
salida) igual a 3 no son adyacentes, por lo que ambos grafos no son isomorfos. 

 
11.1. Derivaciones en cálculo proposicional 

1. 

a) 

1  P‫ש‬Q   
2    ¬P   
3      Q   
4      Q  R,3 
5      P   
6        ¬Q   
7        ¬P  R,2 
8        P‫¬ר‬P  ‫ר‬I,5,7 
9      ¬¬Q  ¬I,5‐8 
10      Q  ¬E,9 
11    Q  ‫ש‬E,1,3‐10 
12  ¬P֜Q  ֜I,2‐11 

b) 

1  (P‫ר‬Q)֜R   
2    P   
3      Q   
4      P  R,2 
5      P‫ר‬Q  ‫ר‬I,3,4 
6      R  ֜E,1,5 
7    Q֜R  ֜I,3‐6 
8  P֜(Q֜R)  ֜I,2‐7 

c) 

[Errata] 

3. 

a) 

[¿Errata? Si P‫¬ר‬Q, no se cumple ¬P‫ש‬Q] 

b) 

1  P‫ש‬Q   
2  P‫ש‬Q‫ש‬S  ‫ש‬I,1 

[No parece posible introducir Q‫ש‬S entre paréntesis mediante derivación natural; por lo tanto, 
los paréntesis deben añadirse a la conclusión una vez obtenida en el paso 2] 

   
c) 

1  ¬P‫¬ש‬Q   
2    P‫ר‬Q   
3    P  ‫ר‬E,2 
4    ¬Q  ¬P‫¬ש‬Q,¬P֜¬Q,¬Q֜¬Q 
5    Q  ‫ר‬E,2 
6    Q‫¬ר‬Q  ‫ר‬I,4,5 
7  ¬(P‫ר‬Q)  ¬I,2‐6 

5. 

a) 

1  ¬P   
2  ¬Q   
3    P‫ש‬Q   
4    ¬P  R,1 
5    Q  P‫ש‬Q,P֜Q,Q֜Q 
6    ¬Q  R,2 
7    Q‫¬ר‬Q  ‫ר‬I,5,6 
8  ¬(P‫ש‬Q)  ¬I,3‐7 

b) 

1  ¬P   
2    P‫ר‬Q   
3    ¬P  R,1 
4    P  ‫ר‬E,2 
5    P‫¬ר‬P  ‫ר‬I,3,4 
6  ¬(P‫ר‬Q)  ¬I,2‐5 

c) 

1  P   
2  ¬Q   
3    P֜Q   
4      P   
5      Q  ֜E,3,4 
6      ¬Q  R,2 
7      Q‫¬ר‬Q  ‫ר‬I,5,6 
8    ¬P  ¬I,4‐7 
9    P  R,1 
10    P‫¬ר‬P  ‫ר‬I,8,9 
11  ¬(P֜Q)  ¬I,3‐10 
   
7. 

P֜Q ¬P‫ש‬Q; Q֜¬R ¬Q‫¬ש‬R; ¬P֜¬R ¬¬P‫¬ש‬R P‫¬ש‬R; ¬¬R R 

1  ¬P‫ש‬Q  Premisa 
2  ¬Q‫¬ש‬R  Premisa 
3  P‫¬ש‬R  Premisa 
4  R  Negación de la conclusión 
5  ¬P‫¬ש‬R  Resolvente de 1,2 
6  ¬R  Resolvente de 3,5 
7  F  Resolvente de 4,6 

9. 

a) 

1  P1֜Q1   
2  P2֜Q2   
3    P1‫ש‬P2   
4      ¬P2   
5      P1  P1‫ש‬P2,P1֜P1,P2֜P1
6      Q1  ֜E,1,5 
7      Q1‫ש‬Q2  ‫ש‬I,6 
8      ¬P1   
9      P2  P1‫ש‬P2,P1֜P2,P2֜P2
10      Q2  ֜E,2,10 
11      Q1‫ש‬Q2  ‫ש‬I,10 
12  P1‫ש‬P2֜Q1‫ש‬Q2  ֜I,3‐11 

b) 

¬(P1‫ש‬P2֜Q1‫ש‬Q2) ¬(¬P1‫¬ר‬P2‫ש‬Q1‫ש‬Q2) (P1‫ש‬P2)‫¬(ש‬Q1‫¬ר‬Q2) (P1‫ש‬P2‫¬ש‬Q1)‫(ר‬P1‫ש‬P2‫¬ש‬Q2) 

1  ¬P1‫ש‬Q1  Premisa 
2  ¬P2‫ש‬Q2  Premisa 
3  P1‫ש‬P2‫¬ש‬Q1  Negación de la conclusión
4  P1‫ש‬P2‫¬ש‬Q2  Negación de la conclusión
5  ¬P1‫ש‬P1‫ש‬P2  Resolvente de 1,3 
6  ¬P2‫ש‬P1‫ש‬P2  Resolvente de 2,4 
7  P1‫ש‬P2  Resolvente de 5,6 
8  ¬Q1  Resolvente de 3,7 
9  Q1  Resolvente de 1,6 
10  F  Resolvente de 8,9 
 
11.2. Algunos resultados del cálculo de predicados 

1. 

a) ‫׊‬x‫׌‬y(¬P(x)‫ש‬Q(y))‫׌ש‬z‫׊‬y¬R(x,y) 

b) ‫׌‬x‫׌‬y‫׊‬z(¬P(x,y)‫¬ר‬P(x,z)‫ש‬P(y,z)) 

3. 

a) 

¬‫׊‬x‫׌‬yQ(x,y)‫׊(ש‬x‫׊‬y(R(x,y)֞Q(x,y)))=¬‫׊‬x‫׌‬yQ(x,y)‫׊(ש‬z‫׊‬t((¬R(z,t)‫ש‬Q(z,t))‫(ר‬R(z,t)‫¬ש‬Q(z,t))))=‫׌‬x
‫׊‬y‫׌‬z‫׌‬t(¬Q(x,y)‫(((ר‬R(z,t)‫¬ר‬Q(z,t))‫¬(ש‬R(z,t)‫ר‬Q(z,t))))) 

b) 

¬‫׊‬x‫׌‬y‫׊‬z(R(x,y,z)֜Q(x,y,z))=¬‫׊‬x‫׌‬y‫׊‬z(¬R(x,y,z)‫ש‬Q(x,y,z))=‫׌‬x‫׊‬y‫׌‬z(R(x,y,z)‫¬ר‬Q(x,y,z)) 

c) 

¬‫׊‬x(‫׌‬yP(x,y)‫׌¬ש‬zP(z,x))=‫׌‬x(‫׊‬y¬P(x,y)‫׌ר‬zP(z,x))=‫׌‬x‫׊‬y‫׌‬z(¬P(x,y)‫ר‬P(z,x)) 

 
11.3. Derivaciones en el cálculo de predicados 

1. 

1  ‫׊‬x(P֜Q(x))   
2  P֜Q(a)  ‫׊‬E,1 
3    P   
4    Q(a)  ֜E,2,3 
5    ‫׊‬xQ(x)  ‫׊‬I,4 
6  P֜‫׊‬xQ(x)  ֜I,3‐6 

3. 

1  ‫׌‬xM(x)   
2  ‫׊‬x(M(x)֜C(x,a))   
3  ‫׊‬x(‫׌‬yC(x,y)֜F(x)   
4  M(b)  ‫׌‬E,1 
5  M(b)֜C(b,a)  ‫׊‬E,2 
6  ‫׌‬yC(b,y)֜F(b)  ‫׊‬E,3 
7  C(b,a)֜F(b)  ‫׌‬E,6 
8  C(b,a)  ֜E,4,5 
9  F(b)  ֜E,7,8 
10  ‫׌‬xF(x)  ‫׌‬I,9 

5. 

a) P(x,f(x)) ֜Q(x,f(x)) 

b) P(f(x),z,x) 

c) P(f(x,y),x,f(x,y),y) 

7. 

1  P(x)  Dada 
2  ¬P(x)‫ש‬Q(x)  Dada 
3  ¬Q(a)‫ש‬R(b)  Dada 
4  ¬R(x)  Dada 
5  P(a)  Línea 1 con x:=a 
6  ¬P(a)‫ש‬Q(a)  Línea 2 con x:=a 
7  Q(a)  Resolvente de 5,6 
8  R(b)  Resolvente de 3,7 
9  ¬R(b)  Línea 4 con x:=b 

Contradicción en 8,9