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

このとき、

log(-1) > 0

は命題でしょうか?