2.1 논리와 명제

명제 논리

• 주어와 술어를 구분하지 않고 전체를 하나의 식으로 처리하여 참 또는 거짓을 판별하는 법칙

술어 논리

• 주어와 술어로 구분하여 참 또는 거짓에 관한 법칙

2.2 논리연산

논리 연산자

• 단순 명제들을 연결시켜 주는 역할을 하는 and, or, ~과 같은 연결자라고 함

합성 명제의 진리 값

• 그 명제를 구성하는 단순 명제의 진리 값과 논리 연산자의 특성에 따라 값이 정해짐
• 단순 명제의 진리값은 그 명제가 참이냐 거짓이냐에 따라 T 또는 F로 표시함.
• 합성 명제의 진리 값은 복잡한 경우가 많음

2.3 항진 명제와 모순 명제

• 합성 명제에서 그 명제를 구성하는 단순 명제들의 진리값에 관계없이 그 합성 명제의 진리값이 항상 참(T)의 값을 가질 때 그 명제를 항진 명제라고 한다.
• 합성 명제에서 그 명제를 구성하는 단순 명제들의 진리값에 관계없이 그 합성 명제의 진리값이 항상 거짓(F)의 값을 가질 때 그 명제를 모순 명제라고 한다.

2.4 논리적 동치 관계