Buenas noches,
Tengo una consulta general, en la parte b de este ejercicio se pide ver si es verdadera o falsa la siguiente afirmacion: ρ modela a δ.
En la solucion se prueba que ρ no modela a δ.
Mi pregunta viene por el lado de si es correcto decir, que ρ no modela a δ, es equivalente a decir existe una M:eta tal que M modela a ρ entonces M no modela a δ?
Hola:
Primero una aclaración respecto al símbolo ⊧.
Este símbolo se usa en diferentes contextos y tiene diferentes significados:
Γ ⊧ φ (Γ ⊆ Sent, φ ∈ SENT)
Se lee como "Γ implica lógicamente a φ"
o "φ es consecuencia lógica de Γ"
No se dice: Γ modela φ
M ⊧ φ (M eta, φ ∈ FORM)
Se lee como: "M modela φ"
No hay que confundir ambos conceptos que son distintos.
Con respecto a tu pregunta:
Si no queda claro, volvé a preguntar.