大学学部レベル質問スレ 9単位目

[0302 １３２人目の素数さん 2018/02/14(水) 13:10:30.70 ID:e0Deyxfc]

log = (Γ, R+, R)

とする。

log(x) > 0

を論理記号で書くと以下でOKですか？

∃y (y ∈ R ∧ (x, y) ∈ Γ ∧ (∃y' ((x, y') ∈ Γ)) ⇒ y = y') ∧ y > 0)