모든것을 명제논리로 만들어서 가르쳐야함


명제는 if~then~, and, or, not 


이 4가지 요소로 모두 표현가능하고


모든 수식을 이 명제구성요소로 나타내야함