[대학교이상] (질문) 'xㅌE_1->f(x)ㅌE_2'랑'f(E_1)ㄷE_2'

[익명(117.16)]

저거 두개가 다른 명제인가요?

[익명(180.67)]

앞에 forall x 붙으면 같음