## [Semántica Teórica de Juegos](/es/node/60052) Definición Una semántica para lenguajes lógicos que interpreta la verdad de una fórmula en un modelo como la existencia de una estrategia ganadora en un juego de evaluación asociado entre dos jugadores (Verificador y Falsificador); conectivos y cuantificadores se traducen en reglas de juego que gobiernan las elecciones y las condiciones de victoria. ## Principio Principio La verdad se da operativamente por la existencia de estrategias ganadoras: los cuantificadores existenciales corresponden a movimientos del Verificador que elige testigos, los universales a elecciones del Falsificador, las conjunciones permiten al Falsificador escoger un conjuncto a desafiar, las disyunciones permiten al Verificador elegir una disyunción y la negación invierte los roles. ## Demostración Demostración Evaluar la fórmula ∃x∀y R(x,y) en una estructura M: en el juego de evaluación el Verificador elige un elemento a para x; luego el Falsificador elige b para y; el Verificador gana si R(a,b) se verifica. La existencia de una estrategia del Verificador que garantice la victoria ante todas las respuestas del Falsificador es equivalente a M ⊨ ∃x∀y R(x,y). ## Aplicación incorrecta Aplicación incorrecta Tratar las estrategias ganadoras como pruebas formales de verdad sin distinguir entre estrategias uniformes y testigos existenciales no uniformes, o aplicar reglas de juego ingenuas a lógicas cuyos conectivos no admiten movimientos locales (por ejemplo, algunas modalidades probabilísticas) sin adaptar el juego. ## Consecuencia Consecuencia Ofrece una cuenta intuitiva y frecuentemente constructiva de la verdad que aclara la dependencia de las elecciones, permite analizar el contenido informativo y las estrategias (p. ej. lógicas de independencia) y conecta nociones semánticas con problemas algorítmicos de búsqueda. ## Inversión Inversión Contrastarlo con la semántica composicional tarskiana: en lugar de asignar valores de verdad por inducción estructural sobre fórmulas, la semántica teórica de juegos reduce la verdad a la existencia de estrategias ganadoras — invertir la perspectiva aclara lo operacional frente a lo denotacional. ## Límite Límite Se aplica bien a lógicas cuyos conectivos y cuantificadores admiten interpretaciones en términos de movimientos locales; las extensiones (por ejemplo, lógicas de punto fijo, probabilísticas o con recursos limitados) requieren juegos adaptados o conceptos de estrategia enriquecidos para capturar la semántica deseada. ## Tensión semántica Tensión semántica Existe tensión con las aproximaciones proof-teóricas (verdad como demostrabilidad) y con las model-teóricas, especialmente en cuanto a la uniformidad y constructividad de los testigos: GTS enfatiza estrategias, otras aproximaciones enfatizan valoraciones o derivaciones. ## Síntesis Síntesis La semántica teórica de juegos reinterpreta la verdad como el resultado de un concurso estructurado por la información: definir reglas de movimiento locales para las construcciones sintácticas produce juegos cuyas estrategias ganadoras codifican exactamente las condiciones semánticas de verdad.