You can demonstrate properties of logarithms with Simplify and Combine.
Simplify
ln xy = y ln x 12pt
Combine + Logs
ln x + ln y = ln xy 3pt
ln a - ln b = ln 12pt