De manera análoga, combinando adecuadamente la línea de identidad con los instrumentos de cálculo proposicional de los gráficos alfa, se pueden formular casi todos las expresiones del cálculo de predicados de primer orden.