É uma propriedade que permite calcular logaritmos em qualquer base usando logaritmos de duas outras bases conhecidas. É definida como log_b(a) = ln(a) / ln(b).