En un cálculo predicativo, la relevancia requiere que se compartan las variables y constantes entre las premisas y la conclusión.