관계형 모델 = 집합론을 기초로 한 데이터 모델 + 술어논리라는 논리학에 기초한 데이터 모델

술어논리 = 관계형 모델의 본질 → 정규화 & 정규화해야 하는 이유 이해에 필요

명제? 참인지 거짓인지 물을 수 있는 것 ex) 달은 행성이다. 타조는 날지 못한다.

명제논리? 어떤 명제(하나 or 여러개)의 참/거짓을 알고 있을 때 다른 명제의 참/거짓이 무엇인지 알아내는 데 특화된 학문

※ 명제논리에서 가장 중요한 점은 다른 명제의 참과 거짓 증명시 중요한 것은 명제들의 참/거짓 명제가 가진 다른 의미는 영향 xxxxx

(논리)연결자

복잡한 명제 ex) P이며 Q이다 = P라는 명제도 Q라는 명제도 둘 다 참이다 → '이며' : 연결자

대표적 논리 연결자들

1. ￢ (not)
2. ∧ (and)
3. ∨ (or)
4. ⊃(포함, IMP)
5. ≡ (동치, EQ)
6. ↑ (부정논리곱, NAND) → A NAND B = NOT (A AND B)
7. ↓ (부정논리합, NOR) → A NOR B = A NOR B = NOT (A OR B)
8. ⊻ (배타적 논리합, XOR)→ A XOR B = A'B+AB'

연결자 = 논리연산 :: 한가지 또는 두가지의 진리값으로 식 전체의 진리값을 고유하게 결정

→ 진리함수 → 진리표