문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 양상논리 (문단 편집) === 문법과 기본적 뜻 풀이 === '''명제 양상논리(Propositional Modal Logic)''' 문법은 [[수리논리학#s-3|표준 명제 논리]]의 문법에 두 양상 연산자 [math(\Box, \Diamond)]에 관한 문법을 추가한 것이다. 이때 해당 연산자들의 의미를 해석하는 방식은 [[#s-3|그때 쓰이는 양상 개념]]에 따라 다르다. ||'''양상 문장들의 뜻''' * "[math(\Box P)]"의 의미 * '''진리 양상 논리''': "[math(P)]가 필연적이다", "반드시 [math(P)]다" * 인식 논리: "[math(P)]는 어떤 시점에 누군가가 알고 있다."[* 인식 논리에선 일반적으로 [math(\Box)]보다는 [math(K)]로 표시하는 경우가 더 잦다.] * 당위 논리: "마땅히 [math(P)]해야 한다."[* 당위 논리에선 일반적으로 [math(\Box)]보다는 [math(O)]로 표시하는 경우가 더 잦다.] * "[math( \Diamond P)]"의 의미 * '''진리 양상 논리''': "[math(P)]가 가능하다", "[math(P)]일 수도 있다" * 당위 논리: "[math(P)]하는 것이 허용된다."|| 이때 [math(\Box, \Diamond)]는 상호 정의 가능하다: "[math(\Box \phi)]"는 "[math(\neg \Diamond \neg \phi)]"와 동치이며, 반대로 "[math(\Diamond \phi)]"는 "[math(\neg \Box \neg \phi)]"와 동치이다. 즉 진리 양상 논리를 예로 들자면 __"P가 가능하다"는 "P가 아닌 것이 필연적이지 않다"와 동치이며, "P는 필연적이다"는 "P가 아닌 것이 불가능하다"와 동치__이다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기