Semántica de la lógica de primer orden

Hola.

Yo tengo una pregunta.... de qué $\models$ estás hablando? porque hay dos... al igual que hay dos $\land$ y $\neg$ ...

Un camino que puede ayudar a ver a donde conviene ir es interpretar "en lenguaje natural" lo que nos dice la fórmula y ver si tiene sentido con la realidad.

Saludos

FDO.