본문 바로가기
컴퓨터과학[2-2]/[2-2]수학의이해

수학기초 - 명제와 논리

by boolean 2018. 4. 16.
728x90

수학기초 - 명제와 논리

이 문서는 학습용으로 압축한 자료이며 모든 저작권은 수학방에 있음을 알려드립니다.



명제 -  참, 거짓을 판단할 수 있는 문장이나 식을 말한다.

조건 -  미지수를 포함하고 있어서 그 미지수의 값에 따라 참, 거짓이 판별되는 문장이나 식

진리집합 - 어떤 조건이 참이 되게 하는 미지수의 집합


조건의부정    자료출처: 수학방    - 연습문제

부정하면 안되는것 -  수의 체계


명제의 참, 거짓    자료출처: 수학방    - 연습문제

반례와 명제의 참, 거짓    자료출처: 수학방    - 연습문제

모든, 어떤 문구와 명제의 참,거짓    자료출처: 수학방    - 연습문제


명제의 역, 이 , 대우    자료출처: 수학방    - 연습문제


삼단논법 (연역법의 한 종류)   자료출처: 수학방    - 연습문제

정의 - 용어의 뜻을 명확하게 정한 것으로 용어의 뜻에 대한 약속

증명 - 실험이나 경험에 따르지 않고, 정의 또는 이미 옳다고 밝혀진 성질을 근거로 어떤 명제가 참임을 보이는 것

정리 - 원래는 가정이었던 것이 증명을 통해서 참으로 밝혀진 것

절대부등식 - 부등식의 증명에 이용되는 실수의 성질    자료출처: 수학방    - 연습문제


절대부등식 - 산술평균, 기하평균, 조화평균  자료출처: 수학방    - 연습문제


절대 부등식 - 코쉬 슈바르츠 부등식    자료출처: 수학방    - 연습문제


댓글