Alfabeto

Los lenguajes formales son aquellos lenguajes artificiales construidos por los lógicos y los matemáticos con la intención (entre otras) de describir otros lenguajes (ya sean estos, a su vez, naturales o formales). El lenguaje considerado como objeto que se presenta a nuestra consideración es el lenguaje objeto, mientras que el lenguaje por medio del cual podemos hablar acerca del lenguaje objeto es el metalenguaje. Un lenguaje formal está formado por un alfabeto y una gramática. El alfabeto es un conjunto de símbolos no interpretables, también llamados ‘sincategoremas’. La gramática es un conjunto de reglas que determinan qué cadenas de símbolos del alfabeto serán gramaticalmente correctas o bien formadas. (Véase fbf, formalización, lenguaje artificial, lenguaje natural, lenguaje objeto, metalenguaje, sistema formal).

Es el conjunto de símbolos que forman las expresiones de un lenguaje. El alfabeto de nuestro lenguaje Lo de la lógica proposicional contiene dos tipos de signos; a saber, letras proposicionales y conectores.