Las proposiciones atómicas, es decir aquellas que no pueden descomponerse en proposiciones más elementales, son representadas al igual que en la lógica proposicional por letras.