문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 양상논리 (문단 편집) ===== 체계 S5 ===== 양상 논리체계 S5는 [[#s-4.2.2.3|체계 T]]에 다음 공리틀이 더해진 것이다: * '''공리틀 S5''': [math(\Diamond \phi \to \Box \Diamond \phi)] * 예시: (진리 양상 논리) "[[신]]이 있는게 '''가능'''하다면, 신이 있는게 '''가능하다는 것은 필연적'''이다." 공리틀 B와 S4는 S5로부터도 도출가능하다. 그리고 일반적으로 '형이상학적 필연성'에 관한 진리 양상 논리는 체계 S5와 일치한다고 여겨진다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기