1.1. Son las fórmulas atómicas de la lógica proposicional
2. ¿Cómo se representan?
2.1. Son representadas como predicados primarios en lógica de primer orden
3. ¿Qué función tienen en el lenguaje proposicional?
3.1. suelen usarse para referirnos a una proposición simple o para simbolizar (formalizar) cualquier proposición del lenguaje natural cuya estructura o forma lógica subyacente sea simple
