donde "A" y "B" son metavariables que pueden ser reemplazadas por cualquier proposición o fórmula.