Los gráficos Beta constituyen el sub-sistema de cálculo de predicados de primer orden.