Reglas de inferencia.!

REGLAS DE INFERENCIA o (REGLAS DE TRANSFORMACION)
Las reglas de inferencia proporcionan comandos para actualizar destinos e inferir dependientes para destinos. Las extensiones en una regla deinferencia coinciden con un destino y dependiente únicos que tienen el mismo nombre base. Las reglas de inferencia son definidas por el usuario o predefinidas; las reglas predefinidas se pueden volver adefinir.
Si una dependencia no actualizada no tiene comandos, y si .SUFFIXES contiene la extensión del dependiente, NMAKE usa una regla cuyas extensiones coinciden con el destino y un archivo existenteen el directorio actual o especificado. Si más de una regla coincide con archivos existentes, la lista .SUFFIXES determina cuál se ha de usar; la prioridad de la lista desciende de izquierda aderecha. Si no existe un archivo dependiente y no está listado como un destino en otro bloque de descripción, una regla de inferencia puede crear el dependiente que falta a partir de otro archivo con elmismo nombre base. Si el destino de un bloque de descripción no tiene dependientes ni comandos, una regla de inferencia puede actualizar el destino. Las reglas de inferencia pueden generar un destino delínea de comandos aunque no exista ningún bloque de descripción. NMAKE puede llamar a una regla para un dependiente inferido aunque se especifique un dependiente explícito. En un cálculo lógico, lasreglas de inferencia o reglas de transformación son aquellos esquemas formales que nos permiten derivar unas fórmulas bien formadas (conclusiones) a partir de otras (premisas). Por ejemplo, la Regla deEliminación del Condicional:
A → B

A______

B
Nos permite derivar la fórmula “p v q” de las fórmulas “p → (p v q)” y “p”.
Las reglas de inferencia no deben confundirse con las...