Hola chicos,
Tengo un par de dudas un poco básicas de Lógica II, a ver si me podéis ayudar
DUDA 1. En el examen de junio de 2014 de la primera semana, aparece esta frase para formalizar:
"No hay ningún científico importante que no haya escrito alguna novela".
La solución dice: ¬ Vx /\y (Cx ^(Ny --> ¬ Exy))
Con C: ser científico importante
N: ser novela
E: escribir
¿Por qué hay un cuantificador universal para alguna novela? Yo lo había visto así:
¬ Vx Vy (Cx ^ (Ny ^ ¬ Exy))
DUDA 2. Cuando hacemos árboles semánticos y tenemos predicados poliádicos, a la hora de aplicar las reglas delta y gamma ¿he de hacerlo para todas las combinaciones posibles?
Me explico. En un ejercicio aparece
1. /\x/\y ((Px ^Py) --> (Qxy)
2. ¬ Qab
Al hacer el árbol me aparecen todas estas líneas
3. /\y ((Pa ^Py) --> (Qay) gamma 1 a
4. /\y ((Pb ^Py) --> (Qby) gamma 1 b
5. (Pa ^Pb) --> Qab gamma 3 b
6. (Pa ^Pa) --> Qaa gamma 3 a
7. (Pb ^Pa) --> Qba gamma 4 a
8. (Pb ^Pb) --> Qbb gamma 4 b
Y sigue...
A mí me da la sensación de que el ejercicio se puede resolver sin poner todas estas líneas:
3. /\y ((Pa ^Py) --> (Qay) gamma 1 a
4. (Pa ^Pb) --> Qab gamma 3 b (pasando de 3 a 4 así)
Y luego ya empezar a sacar ramas aplicando fórmulas beta. Si no queda muy claro puedo subir una foto
Mil gracias,
Patricia