[일반] 논리기호에서

[지나가던사람9..(ymee123)]

⇒랑 →랑 무슨차이인가요?

[TonyMontana(thecoqproofassistant)]

어떤 책에서는 전자를 메타언어의 기호로 후자를 대상언어의 기호로 둡니다.

[지나가던사람99(ymee123)]

오... 감사합니다

[ExHentai.org(nsa15464)]

나 집론 수업들을때 화살표 후자로 썼다가 교정받은적 있음.

[익명(185.25)]

해석에서는 오른쪽은 거의 수렴말할 쓰고 왼쪽은 수업필기 등 말고는 거의 안쓰지만 만약 있다면 왼쪽이 오른쪽을 imply 한다는 논리기호지

[지나가던사람99(ymee123)]

ㅇㅎ 다들 감사합니당