##  [Semántica Teórica de Juegos](/es/node/60051) 

  ##  [Semántica Teórica de Juegos](https://mathlogic.quantumdictionary.io/es/node/60052) 

  

 [![Mathematics & Logic Dictionary](/sites/default/files/styles/large/public/2026-01/Mathematics%20%26%20Logic.png.webp?itok=UhtTRPnp)](/topic-specific-dictionaries/natural-formal-sciences/mathematics-logic)

- Natural & Formal Sciences -

**Mathematics & Logic Dictionary**

 







 

 

 

 



 

 

 

 

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.