search

IIC1253 / IIC1253-2023-2

98 stars 2 forks source link

"<" Pregunta 1 tarea 3 #68

Open TomasAndresPino opened 11 months ago

TomasAndresPino commented 11 months ago

Cuando dicen que < es un símbolo de predicado binario, ¿Puedo interpretarlo como yo quiera? Y lo otro, para demostrar que un conjunto de oraciones es no satisfacible, tengo que proponer una interpretación que no lo satisfaga?

sopadeoliva commented 11 months ago
  1. Efectivamente, "<" es solo un símbolo de predicado. Cuando tú planteas una interpretación estableces un dominio y el predicado que representará este símbolo (ejemplo: "x<y: x es más bonito que y", "x<y : x es múltiplo de y", "x<y: x es enemigo mortal de y", etc.)
  2. Para demostrar que un conjunto no es satisfacible no basta con proponer una interpretación (esto lo hacemos para demostrar lo contrario). Es necesario probar que para cualquier posible interpretación, el conjunto no se satisface. Espero que se haya entendido, mucho éxito 🌈