[%] 1차논리에서 한정사의 자료형은 뭘까?

[기괴공학도(mecheng98)]

t형의 변수의 묶임을 람다식으로 표현한다면,
t → Bool형의 람다식을 받아서 Bool을 반환하니까
ForAll : (t → Bool) → Bool,
Exist : (t → Bool) → Bool.
님들은 어떻게 생각하심?
변수의 묶임을 람다 추상화와 동등하게 생각할 수 있겠지?

[ns(qwer2357)]

그거 맞음. 참고로 C# Linq의 Any와 ForAll이 정확히 그 Predicate(T)형 (T 받아서 bool 돌려주는 대리자) 받아서 bool 리턴해줌

[기괴공학도(mecheng98)]

와 님 모르시는 게 뭐에요 ㄷㄷ. 그나저나 제가 어그로 끈 건 사과드릴게요. 죄송해요.

[ns(qwer2357)]

아냐 필요이상으로 까칠하게 대답하게 되는거같아서 평소부터 조금 미안하게 생각함..

[익명(39.7)]

님 원래 순수수학박사아님? 전산쪽이엇음?