일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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 |
Tags
- 소프티어
- ICER
- 구현
- 나무박멸
- 코드트리빵
- DenseDepth
- DP
- 수영대회결승전
- 조합
- dfs
- 순서대로방문하기
- 루돌프의반란
- ARM
- 이진탐색
- 3Dreconstruction
- 코드트리
- 토끼와 경주
- 싸움땅
- 왕실의기사대결
- BFS
- 포탑부수기
- 슈퍼컴퓨터클러스터
- Calibration
- ros
- 마이크로프로세서
- PQ
- 마법의숲탐색
- 삼성기출
- 백준
- 시뮬레이션
Archives
- Today
- Total
목록명제#논리연산자#조건명제#항진명제#모순명제 (1)
from palette import colorful_colors

1. Mathematical Statement universal statement: 모든 집합의 요소에 대해 참인 명제 ex) 모든 양수는 0보다 크다 conditional statement: 하나가 참이면 다른 것도 참인 명제 ex) 18이 378을 나눌 수 있다면, 6도 378을 나눌 수 있다. existential statement: 참일수도, 아닐 수도 있는 속성이 주어지면 참인 속성이 적어도 하나는 있는 명제 ex) 짝수인 소수(prime)이 적어도 하나 존재한다. proposition(명제): True(참) /False(거짓)으로만 나타낼 수 있는 문장 "sky is Blue", "2+2 = 5" : 참/거짓으로 나타낼 수 있음, 명제 o "come here", "x = 7" : 참/거짓으로 ..
CS 학부과목/이산수학
2023. 1. 21. 20:08