Sin embargo, si tenemos un número elevado de variables proposicionales no es posible utilizarlo; aunque en un principio, se podría aplicar a cualquier tipo de fórmula del cálculo proposicional.