Difference between r1.6 and the current
@@ -38,7 +38,7 @@
Ggl:self-contradiction
= REL =
//만들때 linked: [[논리일관성,logical_consistency]] [[일관성,consistency]]
= REL =
'''모순'''을 이용한 [[증명,proof]] 방법: [[귀류법,proof_by_contradiction]]
'''모순'''을 이용한 [[증명,proof]] 방법: [[귀류법,proof_by_contradiction]] { https://artofproblemsolving.com/wiki/index.php/Proof_by_contradiction }
[[가정,assumption]]을 하고 그것에서 '''모순'''이 생기면 사실 가정이 틀렸다고...//만들때 linked: [[논리일관성,logical_consistency]] [[일관성,consistency]]
contradiction
모순
모순
1.1. 모순명제 ? ¶
모순명제
모순명제
모순명제
(모순명제를 줄여서 모순? 아님 이 자체가 contradiction의 정의? chk) : 진리값,truth_value이 항상 거짓,false인 명제,proposition
모순명제
모순명제
(모순명제를 줄여서 모순? 아님 이 자체가 contradiction의 정의? chk) : 진리값,truth_value이 항상 거짓,false인 명제,proposition
수학백과: 모순명제
"합성명제에서
그 명제를 구성하는 단순명제,simple_proposition의 진릿값진리값,truth_value에 상관없이 합성명제의 진릿값이
모순명제의 부정은 항진명제이고
항진명제의 부정은 모순명제이다." (서로 부정,negation)
그 명제를 구성하는 단순명제,simple_proposition의 진릿값진리값,truth_value에 상관없이 합성명제의 진릿값이
항상 거짓,false일 때, 그 합성명제를 모순명제 또는 간단히 모순이라고 한다.
반대로 단순명제의 진릿값에 상관없이 합성명제의 진릿값이모순명제의 부정은 항진명제이고
항진명제의 부정은 모순명제이다." (서로 부정,negation)