x ∈ φ ⇒ log(x) > 0

は命題ですか?