559
∈
∈ cos sin cos sin
560
-2020 온라인 춘계학술발표대회 논문집 제27권 제1호 (-2020. 5) log log ∇
log
log
if ≡and ≤ if ≡and if and if ∃∈⇒≤ or ∃∈ ⇒ ⊥ ≤
i f 561
-2020 온라인 춘계학술발표대회 논문집 제27권 제1호 (-2020. 5)