'Computer Science' 카테고리의 글 목록

공리(AXIOM) 별도의 증명없이 항상 참(T)으로 되는 명제 정의(DEFINITION) 논의의 대상을 보편화하기 위해 사용되는 용어 또는 기호의 의미를 확실하게 규정한 문장이나 식 정리(THEROREM) 공리와 정리를 통해서 참(T)으로 확인된 명제 증명(PROOF) 하나의 명제가 참(T)임을 확인하는 과정 증명 :: 직접증명법,간접증명법, 존재증명법, 수학적 귀납법 직접 증명법 대우증명법(간접증명법) 모순증명법(간접증명법) p -> q ~q -> ~p p -> ~q( if false then true) p : 조건 p : 조건 p : 조건 q : 결론 q : 결론 q : 결론 ~p : 조건 반대 ~q : 결론 반대 ~q : 결론 반대 존재증명법 주어진 명제가 참(T)이 되는 예를 찾아서 증명하는 방법..