차이점

이 페이지의 선택한 이전 버전과 현재 버전 사이의 차이점을 보여줍니다.

차이 보기로 연결

명제논리 [2010-04-27 03:18]
lifthrasiir 음 영어 잘못 썼다
명제논리 [2011-05-30 18:25] (현재)
줄 7: 줄 7:
 명제 논리는 사용되는 [[공리계]]와 [[추론규칙]]에 따라서 그 형태가 달라진다. 그러니까 공리계는 우리가 관심 있는(꼭 "참"인 논리식일 필요는 없다) 최소한의 논리식들의 집합이며, 추론 규칙은 논리식을 어떻게 요리해서 다른 관심 있는 논리식으로 바꿀 수 있는지 알려 주는 규칙이다. 이런 규칙은 각 논리식이 갖고 있는 실질적인 논리값(즉, [[의미론]])과는 전혀 관계가 없는데 만약 변수에 대한 모든 논리값 대입에 대하여 추론 규칙이 똑같은 결과를 내뱉는다면 이는 규칙이 완전(complete)하고 [[안전성|안전]](sound)함을 의미한다. 이렇게 얻어지는 논리 체계로 [[고전논리]]랑 [[직관주의]] 논리 따위가 있다. 명제 논리는 사용되는 [[공리계]]와 [[추론규칙]]에 따라서 그 형태가 달라진다. 그러니까 공리계는 우리가 관심 있는(꼭 "참"인 논리식일 필요는 없다) 최소한의 논리식들의 집합이며, 추론 규칙은 논리식을 어떻게 요리해서 다른 관심 있는 논리식으로 바꿀 수 있는지 알려 주는 규칙이다. 이런 규칙은 각 논리식이 갖고 있는 실질적인 논리값(즉, [[의미론]])과는 전혀 관계가 없는데 만약 변수에 대한 모든 논리값 대입에 대하여 추론 규칙이 똑같은 결과를 내뱉는다면 이는 규칙이 완전(complete)하고 [[안전성|안전]](sound)함을 의미한다. 이렇게 얻어지는 논리 체계로 [[고전논리]]랑 [[직관주의]] 논리 따위가 있다.
  
 +{{tag>논리학}}

도쿠위키DokuWiki-custom(rev 9085d92e02)을 씁니다.
마지막 수정 2011-05-30 18:25 | 외부 편집기