La lógica de primer orden tiene dos reglas de inferencia.