log : {x ∈ R | x > 0} → R を対数関数とする。

このとき、

log(-1) = 1

は命題でしょうか？

log は正の実数に対して定義されているので、 log(-1) というのはナンセンスです。

だから、

log(-1) = 1

の真偽は問題にできないと思います。だから命題ではないように思います。