모순,contradiction

contradiction
모순


관련단어들:
KmsE:contradiction
KmsK:모순
무모순성?


1. Sub

1.1. 모순명제 ?

모순명제
Ndict:모순명제
Ggl:모순명제
(모순명제를 줄여서 모순? 아님 이 자체가 contradiction의 정의? chk) : 진리값,truth_value이 항상 거짓,false명제,proposition

[https]수학백과: 모순명제
"합성명제에서
그 명제를 구성하는 단순명제,simple_proposition의 진릿값진리값,truth_value에 상관없이 합성명제의 진릿값이
항상 거짓,false일 때, 그 합성명제를 모순명제 또는 간단히 모순이라고 한다.
반대로 단순명제의 진릿값에 상관없이 합성명제의 진릿값이
항상 참인 경우, 이 합성명제를 항진명제tautology?라고 한다.
모순명제의 부정은 항진명제이고
항진명제의 부정은 모순명제이다." (서로 부정,negation)

1.2. self-contradiction

self-contradiction
자기모순


2. REL

모순을 이용한 증명,proof 방법: 귀류법,proof_by_contradiction { https://artofproblemsolving.com/wiki/index.php/Proof_by_contradiction }
가정,assumption을 하고 그것에서 모순이 생기면 사실 가정이 틀렸다고...

//만들때 linked: 논리일관성,logical_consistency 일관성,consistency

4. Cmp

4.1. 비슷한단어 contradiction vs contraposition

contraposition
WtEn:contraposition


6. tmp mklink and del

//만들때 비슷한 이름 suggestion에 나옴: 모순어법 => oxymoron