Evaluación existe v/s para todo

juanreutter / L-gica2020

para postear issues de logica

2 stars 0 forks source link

Evaluación existe v/s para todo #21

Open Pipelao opened 4 years ago

Pipelao commented 4 years ago

Hola @juanreutter

Tengo una duda con respecto a la evaluación del existe y del para todo que muestro a continuación en la imagen:

decisiva

En este grafo, ¿ evaluacion(phi1, A) y evaluacion(phi2,A) son correctas como las coloqué?

Gracias.

juanreutter commented 4 years ago

Correcto. Fijate que la evaluación de phi2 sería vacía igual aunque no estuviese el elemento d. Para que la evaluación de phi2 te devuelva algo, necesitarías pares (a,a) (b,b) y (c,c) en la interpretación de R en A

Pipelao commented 4 years ago

Entiendo, muchas gracias @juanreutter