이치 논리

수리 논리학?

• 인간의 언어에 내포된 법칙을 분석하기 위해서, 기호를 사용하여 논리 체계를 연구하는 분야이다.
• 논리학?
  • 모든 가능한 형태에서의 추론의 규칙과 방법에 대한 연구를 의미.
  • 크게 두개로 나뉨
    • 명제 논리 => 명제들의 결합같은 외면적인것을 주로 다룸
    • 술어 논리 => 명제의 내부 구조와 같은 내면적인 것을 주로 다룸

 

명제 논리

• 주어진 논리 변수의 함수로 생성될 수 있는 새로운 논리변수에 의한 규칙을 주로 다룸.
• 명제들을 논리기호로 결합시켜서, 새로운 합성 명제를 만들고, 논리식에 의한 각 명제들 사이의 관계를 다룸.
  • 위와 같은 명제를 논리변수 or 명제변수 라고 한다.

 

논리 함수

• n개의 명제 p1, p2 , p3 , ... , pn에 의해서 만들어지는 새로운 논리변수들에 대해서 특정한 진리값을 부여하는 것을 논리 함수라 함.
• n개의 논리 변수는 2^n개의 예측 가능한 논리값 존재 가능.
  • 이에 따라서 n이 증가할수록 급격히 논리 함수들이 많아짐.