Psicología

Modelo
-Ejemplo de modelo con Propiedad (Modelo 1)

2
3
4

En donde Px: x es par y
Dx: x es divisible por 3
-Ejemplo de modelo con Relación (Modelo 2)

↷
P1

↖
P2

F

En donde Fxy:x flecha a y
Función de interpretación
En todos los modelos se establece un dominio (D), que incluye todos los elementos que
tengo en el conjunto, y cada elemento se lo interpreta (I) como unaconstante. En el modelo
1:
D: {2, 3, 4}
I(a): 2
I(b): 3
I(c): 4
(Esto es totalmente arbitrario, a la constante “a” tranquilamente la podría interpretar como
el numero 3 o el 4, no necesariamentetiene que ser el 2)

1

En el modelo 2:
D: {P1, P2}
I(a): P1
I(b): P2
Luego se interpretan (I) las letras de predicado, es decir, las mayúisculas.
-En el modelo 1
I(P): {2, 4}
I(D): {3}-En el modelo 2
I(F): { , } (en este caso se establecen “pares ordenados”)

Clausulas (para determinar el valor de verdad de una fórmula)
(Estas cláusulas son las mismas que vas a encontrar en la elGamut en la página 96 y 97,
lo que sería la “definición 7”, solo que las reformulé para que se entienda)
i) Atómica:
Una fórmula atómica es aquella que no tiene ni conectiva ni cuantificador. Enel modelo 1,
las fórmulas atómicas posibles son:
Pa
Pb
Pc
Da
Db
Dc
En el modelo 2, son:
Faa
Fab
Fba
Fbb

2

-Una fórmula atómica es verdadera si la interpretación de la constantepertenece a la
interpretación de la letra de predicado.
Entonces se dice que la valuación en este modelo de, por ejemplo, Pa es igual a 1, porque
“a” refiere al número “2”, y este número cumple con lapropiedad de ser par, es decir
pertenece (∈) a la letra de predicado “P”. Formalmente esto sería así:
VM(Pa): 1 porque I(a) ∈ I(P) por la cláusula i) de la definición 7
Lo mismo podemos decir, en elmodelo 2, de:
VM(Fba): 1 porque ∈ I(F) por la cláusula i) de la definición 7

-Una fórmula atómica es falsa si la interpretación de la constante no pertenece a la
interpretación de la letra de...