수학/이산수학
명제
명제(Proposition) 객관적인 기준으로 진릿값을 구분할 수 있는 문장이나 수식 : 영어 소문자 p,q,r... 로 표현 진릿값(Truth value) 참(true: T / 1)이나 거짓(false: F / 0)을 가리키는 값 부정(NOT : ￢p) 문장 p가 명제일 때 "p가 아니다"를 의미. p의 기존 진릿값과 반대의 진릿값을 갖는 명제. p ￢p T F F T 논리곱(AND : p∧q, p & q) p, q의 진릿값이 모두 참(T)일 때 참(T) 되고 아니면 거짓(F)이 되는 명제 p q p∧q T T T T F F F T F F F F 논리합(OR : p∨q, p | q) p, q의 진릿값 중 하나만 참(T)이여도 참(T) 되고 아니면 거짓(F)이 되는 명제 p q p∨q T T T T F ..
