[일반] 증명시 턴스틸과 이중턴스틸 구별해서쓰나요?

[익명(220.126)]

증명시 턴스틸과 이중턴스틸 구별해서쓰나요?

[기괴공학도(thecoqproofassistant)]

논리학에서는 당연히요

[기괴공학도(thecoqproofassistant)]

아니 논리학에서만 쓰죠. 수학에서는 그렇게 형식적일 필요는 없어요

[익명(220.126)]

영어 기호들로 증명하는거 익숙해지려는 초보자인데 , 선형대수학 해석학개론 정수론 이정도 학부수학에서 굳이 구별해서 쓸 필요는 없겠죠? 턴스틸이나 이중턴스틸 대신 =>를 쓰자면 그건 조금 '너가 알아서 생각해봐 아무튼 그 가정 하에서는 결론이 참이야' 같은느낌이고, 턴스틸은 '어떠어떠하면, 항상 a이고 b니까 c야' 하는느낌이고 이중턴스틸은 '어떠어떠하면, a이고b인 x가 존재하니까 c야' 같은느낌입니다. 구문론적으로 참이면 턴스틸, 의미론적으로 참이면 이중턴스틸 인듯한데, 구문론적으로 참인건 모두 의미론적으로 참이라고하니까 그냥 항상 이중턴스틸 쓰면 될까요? 보통 수학과 학부생들은 턴스틸이랑 이중턴스틸을 구별하고쓰는편인가요? 아니라면 보통 뭐를 주로쓰나요?

[익명(220.126)]

턴스틸이랑 이중턴스틸 기호를 잘 안써요 ?

[기괴공학도(thecoqproofassistant)]

(수리논리학 제외) 전혀 안 써요.