Lenguaje formal

Alfabeto

• Signos primitivos y signos auxiliares: 

Consta de las letras del alfabeto de la A a la Z y signos de puntuación como son . , ; : signos de exclamación ¡! y de interrogación ¿?.

• Reglas de formación:

Las reglas de formación se basan en la gramática y ortografía propia de cada idioma que en nuestro caso será el idioma Español. Se considerarán f.b.f siempre y cuando cumplan con dichos requisitos.

• Definiciones

1. Se define el Universo que contiene cosas, ejemplo:carro, escritorio, Medellín, rosa, etc. y una cosa puede tener varios atributos (rojo, madera, bonita, perfumada, etc.).
2. Se define clase como un grupo de cosas, que puede ser el Universo entero o puede ser un grupo de cosas con un atributo que la hace peculiar y a ese atributo se le conoce como su Diferencia. Si ese atributo no lo posee ninguna cosa, se dice que esa cosa es irreal o imaginaria. Ejemplo: podemos imaginar que hemos entresacado, de la clase Cosas, todas las cosas que poseen el conjunto de atributos material, artificial, compuesto de casas y calles, y podemos formar de este modo la Clase real ciudades. Aquí consideraríamos a cosas como un genero, a ciudades como una especie de cosas y a material y artificial, compuesto de casas y calles como su Diferencia.
3. La 'división' es un proceso mental por el cual una clase de cosas se imagina dividida en dos o  mas clases inferiores y una clase que ha sido obtenida mediante una división se llama codivisional con toda clase obtenida mediante la división. Ejemplo: si se divide la clase libros en libros empastados y sin empastar, por tanto, estas dos clases entran a ser codivisionales entre sí y con la clase libros.
4. Una dicotomía es cuando podemos dividir una clase en dos que resultan ser contradictorias. Ejemplo: dividimos la clase libros en libros viejos y libros nuevos o libros no viejos o también es posible empezar por los atributo ingleses y extranjeros. Es posible continuar indefinidamente subdividiendo estas clases encontrado atributos diferentes.