con mayúsculas están utilizadas como metalenguaje en el que cada variable expresa cualquier proposición, atómica o molecular.