¿Qué es?
Se trata de un conjunto de símbolos reservados para representar proposiciones del mundo. Además, cuenta dentro de estos símbolos que permiten generar composiciones más complejas del lenguaje formal.
Estos símbolos son los siguientes:
- Conjunto ilimitado de proposiciones: {p1, p2, p3…}
- Proposiciones constantes y conectivas (conjunción, disyunción, condicional y bicondicional)
- Paréntesis
