En general se busca que las reglas de inferencia transmitan la verdad de las premisas a la conclusión.