Supstitucija (logika)