Los símbolos A y B son metavariables de un metalenguaje (el español) que representan oraciones de un lenguaje objeto (el lenguaje de la lógica proposicional).