Sin añadir nuevas reglas de inferencia, el sistema beta adapta para el cálculo de predicados las reglas del sistema alfa.