해당 이산수학 내용은 한동대 이원형 교수님 수업을 들으며 정리한 내용입니다.

기초

1. 정의: 내용이 참인지 거짓인지 판별할 수 있는 문장 또는 식(=statement)
   1. ∧: 명제끼리의 and 연산
      1. ∩: 교집합을 의미 --> 두개가 다르므로 헷갈리지 않기!
2. implication(->) : p->q
   1. p: hypothesis
   2. q: conclusion
      
3. biconditional(<->): p<->q, 충분필요조건(동치)
   1. p면 q고, q면 p다
   2. 둘다 참이거나 둘다 거짓인 경우에만 진리값 참
   3. p if and only if q(=iff)
4. converse(역), inverse(이), contrapositive(대우)
   
5. 우선순위
   
6. 기호
   

propositional equivalance

1. 용어
   1. tautology(동어반복): 항상 참인 명제
   2. contradiction(모순): 항상 거짓인 명제
   3. contigencies(우연): 경우에 따라 참, 거짓을 가짐
2. 드모르간 법칙
   
3. conditional, bicondition statement
   

   명제와 집합은 유사성을 띄지만 기본적으로 다른 개념임을 인식!

satisfiablity

1. 참이 되는 변수값 존재하는지 찾는 문제

propositional function(명제 함수)

1. 변수 x를 포함하여 진리값을 판별할 수 있는 문장이나 식(=P(x))