JUNOTE

  • 홈
  • 태그
  • 방명록

증명 1

[이산수학] 증명

증명이란?증명은 가정에서 논리적 법칙을 이용하여 결론을 이끌어내는 것을 말한다. 이때 추론이 참이면 진위 추론이라 하고, 추론이 거짓이면 허위 추론이라 한다. 그리고 별도의 증명 없이도 항상 참(T)이라고 판단되는 명제를 공리라고 한다.증명의 방법에는 대표적으로 직접 증명볍, 간접 증명볍, 수학적 귀납법이 있다. 증명을 이해하는 데에는 명제와 논리에 대한 이해가 필요하다. 이에 대한 부분은 전 포스팅을 참고하기 바란다.2024.06.28 - [수학/이산수학] - [이산수학] 명제와 논리 [이산수학] 명제와 논리논리연산자논리곱(conjunction, AND, ∧): 명제 p, q에 대해서 'p 그리고 q'를 의미한다. 명제 p, q 모두 참(T)일 때만 결과가 참(T)인 연산이다.논리합(disjunctio..

수학/이산수학 2024.06.30
이전
1
다음
더보기
프로필사진

컴공 학생의 개발노트

  • 분류 전체보기 (56)
    • 백준 baekjoon (25)
    • C (0)
    • C++ (0)
    • JAVA (0)
    • CS (12)
      • 자료구조 (12)
      • 데이터베이스 (0)
      • 알고리즘 (0)
      • 디지털 논리 (0)
    • 수학 (18)
      • 이산수학 (10)
      • 확률과 통계 (8)

Tag

모평균 차이에 대한 추론, C++, 큐, 백준, 전단사함수, 관계의 폐포, java, 최대공약수, 관계의 표현, 에라토스테네스의 체, 스택, 자료구조 스택, 자료구조, 소수, 합성관계, 덱, 모비율 차이에 대한 추론, 자바, 관계의 성질, 모분산 비에 대한 추론,

최근글과 인기글

  • 최근글
  • 인기글

최근댓글

공지사항

페이스북 트위터 플러그인

  • Facebook
  • Twitter

Archives

Calendar

«   2025/07   »
일 월 화 수 목 금 토
1 2 3 4 5
6 7 8 9 10 11 12
13 14 15 16 17 18 19
20 21 22 23 24 25 26
27 28 29 30 31

방문자수Total

  • Today :
  • Yesterday :

Copyright © Kakao Corp. All rights reserved.

티스토리툴바