Notice
Recent Posts
Recent Comments
Link
«   2025/04   »
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
Archives
Today
Total
관리 메뉴

codingfarm

모순(Contradiction) 본문

수학/집합론

모순(Contradiction)

scarecrow1992 2020. 6. 22. 20:08

모순(Contradiction)

항진명제에 반하여 모든 노리적 가능성의 각 경우마다 진리값이 거짓인 명제를 모순이라 한다.

항진명제 t에 대한 t모순이고, 모순 c에 대한 c항진명제이다.

가령 pp는 하나의 모순이다.

항진명제 t, 모순 c, 임의의 명제 p에 대하여 다음이 성립한다.
(a) ptp, ptt
(b) pcp, pcc
(c) cp, pt

 

 

'수학 > 집합론' 카테고리의 다른 글

한정규칙(Quantification Rules)  (0) 2020.06.23
초등논리(Elementary Logic)  (0) 2020.06.22
Comments