Si L es el nombre de este sistema axiomático de lógica proposicional, entonces el alfabeto de L consiste en: