[이산수학] 1. 명제와 논리
in dev / data science
이번에는 이산수학 1강, 명제와 논리에 대해 공부해보자 전체적인 목차는 아래와 같다.
명제
명제와 진리값
- 명제(proposition) : 참(True)이나 거짓(False)로 구분할 수 있는 문장이나 수식
- 진릿값(truth value) : 명제의 결과 값: 참(True, 1)이나 거짓(False, 0)
논리연산자
- 부정(Negation: NOT)
¬p, ~p
- 명제 p에 대해 “p가 아니다”
- 논리곱(Conjunction: AND)
p∧q
- 명제 p, q의 진리 값이 모두 참일 때만 참
- 논리합(Disjunction: OR)
p∨q
- 명제 p, q의 진리 값이 하나라도 참이면 참
- 배타적논리합(Exclusive OR: XOR)
p⊗q
- 명제 p, q가 서로 다를 때 참