Especificacin en Tarski

1
Especificación en Tarski

• MeFIS
• Ramón Brena
• Tec de Monterrey, 2006

2
Describir mundos cambiantes
3
Propiedades invariantes

• Los pentágonos son pequeños
• Los triángulos son grandes
• Los cuadrados no son pequeños
• Los pentágonos son más pequeños que las otras
  figuras

4
Invariantes II

• Hay exactamente un triángulo
• Hay al menos un triángulo
• Toda figura que sea triángulo, es la misma que
  nuestro triángulo
• Hay exactamente dos cuadrados
• Similar, añadir que los cuadrados son ltgt
• Hay exactamente dos pentágonos

5
Invariantes III

• Un pentágono está en el extremo derecho
• Un pentágono está en el extremo izquierdo
• Los triángulos tienen en el mismo renglón alguna
  figura
• Los triángulos no comparten columna con nadie
• Los pentágonos tampoco

6
Variantes

• Los cuadrados están en una misma columna
• Los pentágonos no están en un mismo renglón
• Los triángulos tienen un pentágono en el mismo
  renglón