가라멜의 달달한 세상 탐방

2. 논리

2.1 명제

- 참과 거짓을 구별할 수 있는 문장이나 수학적 식

- 명제의 진리값 : 참 / 거짓

- 명제의 종류 : 합성명제 , 조건명제, 쌍조건명제, 항진명제, 모순명제

2.2 논리연산

- 논리합

- 논리곱

- 부정

- 배타적 논리합

- 조건명제

명제 p와 q가 있을때, 명제 p가 조건의 역할을 수행하고 q가 결론의 역할을 수행하는 경우

- 쌍조건명제

2.3 동치

- 역, 이 , 대우

- 항진명제, 모순명제

- 명제함수 

- 한정화

- 타당성 검사

2.4 추론