son teorías de la verdad para lenguajes formales (de fórmulas), en las que la verdad de las oraciones complejas era función de la verdad de oraciones elementales –para las que se define una interpretación en el metalenguaje-.