Esta notación también es llamada teorema de la lógica proposicional.