La segunda es la regla de "Generalización universal", que es característica de la lógica de primer orden.