문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 양상논리 (문단 편집) ==== 추론 규칙 ==== 양상논리 공리 체계에서는 다음 두 가지 추론 규칙이 쓰인다. * '''전건 긍정(Modus Ponens)''': [math(\phi \to \psi, \phi \vdash \psi)] * 만약 명제 [math(\phi)]와 명제 [math(\phi \to \psi)]가 나오는 행이 있다면, 그 행들로부터 명제 [math(\psi)]를 도출할 수 있다.[* [[수리논리학|표준 논리]] 및 [[삼단논법]]에서 등장하는 그거 맞다.] * 예시. "철수가 학생이면, 철수는 사람이다", "철수는 학생이다" [math(\vdash)] "철수는 사람이다" * '''필연화(Necessitation)''': [math(\phi \vdash \Box \phi)] * 만약 명제 [math(\phi)]가 나오는 행이 있다면, 그 행으로부터 명제 [math( \Box \phi)]을 도출할 수 있다. * 단 이때 [math(\phi)]는 그 자체가 공리이거나 공리(혹은 공리들)로부터 도출된 명제, 즉 '''정리(theorem)'''이어야 하며 공리가 아닌 임의의 전제로부터 도출된 명제여서는 안된다. * 예시. (진리 양상 논리의 경우) "철수는 학생이거나 학생이 아니다" [math(\vdash)] "철수는 학생이거나 학생이 아니라는 것은 필연적이다"저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기