일 | 월 | 화 | 수 | 목 | 금 | 토 |
---|---|---|---|---|---|---|
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
- Trie
- 스토어드 프로시저
- 그래프
- MYSQL
- Two Points
- two pointer
- Dijkstra
- union find
- SQL
- 다익스트라
- Stored Procedure
- Hash
- String
- 이진탐색
- binary search
- Brute Force
- DP
Archives
- Today
- Total
codingfarm
모순(Contradiction) 본문
모순(Contradiction)
항진명제에 반하여 모든 노리적 가능성의 각 경우마다 진리값이 거짓인 명제를 모순이라 한다.
항진명제 t에 대한 ∼t는 모순이고, 모순 c에 대한 ∼c는 항진명제이다.
가령 p∧∼p는 하나의 모순이다.
항진명제 t, 모순 c, 임의의 명제 p에 대하여 다음이 성립한다.
(a) p∧t⇔p, p∨t⇔t
(b) p∨c⇐p, p∧c⇔c
(c) c⇒p, p⇒t
'수학 > 집합론' 카테고리의 다른 글
한정규칙(Quantification Rules) (0) | 2020.06.23 |
---|---|
초등논리(Elementary Logic) (0) | 2020.06.22 |