LÓGICA II 2017c

1) Dada la premisa

Venus no es un planeta a menos que tenga luz refleja

diga cuáles de los siguientes enunciados se siguen de ella como conclusión y por qué:

a.- Venus es un planeta o no tiene luz refleja

b.- Si Venus tiene luz refleja, no es un planeta
c.- Si Venus no tiene luz refleja, no es un planeta
d.- Venus tiene luz refleja o no es un planeta

Diccionario:
a: Venus
P: Venus es un planeta
L: Venus tiene luz refleja

Formalización:
Premisa: La  Pa

a.- Pa  La. No se sigue. Esta fórmula es equivalente a La  Pa.

b.- La  Pa. No se sigue. No es lo mismo hacer seguir Pa de La que hacerla seguir
de La.
c.- La  Pa. Sí se sigue, pues tiene exactamente la misma forma que la premisa.
d.- La  Pa. Sí se sigue, pues esta fórmula equivale a La  Pa, por interdef. ,.

Si se quiere justificar más a y b, podemos hacer árboles semánticos:

a.- Árbol abierto:

1. La  Pa premisa

2.  (Pa  La) negación de la conclusión
3.  Pa α2
4. La α2

5.1 La  1 5.2 Pa  1

rama abierta rama abierta

b. - Árbol abierto:
1. La  Pa premisa
2.  (La  Pa) negación de la conclusión
3. La α2
4. Pa α2

5.1 La  1 5.2 Pa  1

rama abierta cierra con 4
2) Demuestre mediante Deducción Natural la validez del siguiente esquema
argumentativo:
x ((Fx  Qx)  Cx)
x Vy (Cx  Axy)
x Vy (Fx  Axy)

1. x ((Fx  Qx)  Cx) premisa

2. x Vy (Cx  Axy) premisa
3. Vy (Ca  Aay) RE 2
4. Ca  Aab supuesto (caso b de 3)
5. (Fa  Qa)  Ca RE 1
6. Fa supuesto (objetivo: Aab)
7. Fa  Qa RI 6
8. Ca MP 5,7
9. Aab MP 4,8
10. Fa  Aab RI 6,9
11. Vy (Fa  Aay) RIV 10
12. Vy (Fa  Aay) REV 3, 4-11
13. x Vy (Fx  Axy) RI 12

3) Formalice el siguiente argumento y pruebe su validez mediante D.N:

Los invitados que vengan a cenar no irán al teatro. Cada uno de los invitados vendrá a
cenar o irá al teatro. Algunos invitados vienen a cenar. Luego, algunos invitados no irán
al teatro.

Diccionario:

I: ser invitado
C: venir a cenar
T: ir al teatro
x ((Ix  Cx)  Tx)
x (Ix  (Cx  Tx))
Vx (Ix  Cx)
Vx (Ix  Tx)

1. x ((Ix  Cx)  Tx) premisa

2. x (Ix  Cx  Tx)) premisa
3. Vx (Ix  Cx) premisa
4. Ia  Ca supuesto (caso a de 3)
5. (Ia  Ca)  Ta RE 1
6. Ia RE 4
7. Ta MP 4,5
8. Ia  Ta RI 6,7
9. Vx (Ix  Tx) RIV 8
10. Vx (Ix  Tx) REV 3, 4-9
Otra posibilidad:

Diccionario:
C: Los invitados vienen a cenar
T: Los invitados irán al teatro

x (Cx  Tx)
x (Cx  Tx)
Vx Cx
Vx Tx

1. x (Cx  Tx) premisa

2. x (Cx  Tx) premisa
3. Vx Cx premisa
4. Ca supuesto (caso a de 3)
5. Ca  Ta RE 1
6. Ta MP 4,5
7. Vx Tx RIV 6
8. Vx Tx REV 3, 4-7

En el examen no se han de presentar dos soluciones. En caso de que haya dos o más, la
que se corrige y puntúa es la primera de ellas.

4) Desarrolle el árbol semántico del siguiente esquema de argumento e interprete su

resultado:

Vx (Cx   Px)
 Vx (Hx   Cx)
Vx ( Px   Hx)

1. Vx (Cx   Px) premisa

2.  Vx (Hx   Cx) premisa
3. Vx ( Px   Hx) negación de la conclusión
4. Ca   Pa 1
5.  (Ha   Ca) 2
6.  ( Pa   Ha) 3
7.  Ha α5
8. Ca α5

9.1  Ca 4 9.2  Pa 4
cierra con 8
10.21 Pa 6 10.22 Ha 6
cierra con 9.2 cierra con 7
El árbol terminado presenta todas las ramas cerradas, lo que indica que el esquema
argumentativo examinado es válido, no tiene contraejemplos, la verdad de la conclusión
se sigue con necesidad lógica de la verdad de las premisas, es imposible encontrar un
argumento que tenga esa forma inferencial, las premisas verdaderas y la conclusión
falsa.

5) Formalice el siguiente enunciado e indique qué operadores lógicos se han utilizado:

Hay como mínimo tres convocatorias de examen

Vx Vy Vz (Cx  Cy  Cz  x  y  x  z  y  z)

Hemos utilizado el cuantificador existencial, la conjunción y la desigualdad o negación

de la identidad.