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

[익명(220.126)]

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

[익명(39.7)]

턴스타일은 전제들의 집합으로부터 추론 규칙을 통해 추론이 가능한 명제가 있을 때 사용하거나 전제에 의존하지 않고도 추론이 가능한 명제 앞에 붙어요 (후자를 정리라고 부릅니다)

[익명(39.7)]

예) {전제1,전제2,전제3}ㅏ결론, ㅏp->p (정리) 추론규칙을 통해 연역될 수 있음을 보이는걸 증명이라 합니다

[익명(39.7)]

ㅑ같은 경우는 의미론적 턴스타일이라고도 하는데, 연역정리라는 메타정리를 통해 귀결의 개념이라 생각하시면 될 것 같아요

[익명(39.7)]

{전제1,전제2,전제n}ㅑ{결론}이면 {전제1&전제2&전제n}->{결론}이고 역도 성립한다. (앞서 말한 것들이 엄밀하게 설명한건 아니여서 주의해주세요)

[익명(220.126)]

{전제1,전제2,전제n}ㅑ{결론}이면 {전제1&전제2&전제n}->{결론} : 의미론적으로 참이면 구문론적으로 참이다 라는 말은 아닌거죠?

[익명(118.235)]

ㄴ전제 집합의 모든 명제가 참이되게 하면서 결론이 거짓이 되게하는 해석이 존재하지 않을 경우를 귀결이라하는데,ㅑ라는 기호를 통해 나타낼 수 있고 {전제1,전제2,전제n}ㅑ{결론}가 올바른 귀결이라면 전제들을 연언으로 묶고 전제와 결론을 조건문으로 나타낸 논리식 (전제1&전제2&전제n)->(결론)도 성립한다는 의미에요

[익명(118.235)]

역으로 (전제1&전제2&전제n)->(결론)이 참이면 결론이 전제 집합의 귀결이다. 그래서 증명시에는 (전제1&전제2&전제n)->(결론) 의 전건들로부터 추론 규칙을 통해 (결론)이 추론 가능하다는 의미인 ㅏ를 사용하는게 일반적이라 생각해요