En los lenguajes formales, las funciones de verdad son representadas por símbolos inequívocos.