문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 양상논리 (문단 편집) === 증명 체계 === 문법과 마찬가지로 양상논리의 추론 규칙 또한 [[수리논리학#s-3.2|표준 논리의 추론 규칙]]에 새로운 추론 규칙 혹은 [[공리]]를 추가하여 확장시킨 것이다. 아래에선 편의상 [[다비드 힐베르트|힐베르트]] 체계를 바탕으로 추론 규칙을 설명하겠다.[* [[수리논리학#s-3.2|표준 논리의 추론 규칙]] 항목에서 사용하는 게르하르트 겐첸(Gerhard Gentzen)의 자연연역(natural deduction)과는 다른 방식이다. 예를 들어 자연연역에서는 힐베르트 체계보다 추론규칙들이 훨씬 더 많고 공리들은 사용되지 않는다. 힐베르트 체계에 관해서는 [[https://en.wikipedia.org/wiki/Hilbert_system|해당 링크를 참조]]]저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기