기호: not, ~, !, ￢ 등등? chk

￢T=F
￢F=T

[[이중부정,double_negation]]
 ￢￢p=p ?
 이중부정제거 이중부정삭제 [[double_negation_elimination]] (DNE) 
  - [[고전논리,classical_logic]]에선 ok, but 직관논리 직관주의논리 [[intuitionistic_logic]]에서는 not ok?
[[부정명제]]
 단순한 개념, 근데 영어 정확히 뭐? 
 [[명제,proposition]] = [[명제proposition]] 를 부정해 만든 새로운 명제? chk
 [[https://terms.naver.com/entry.naver?docId=3338026&cid=47324&categoryId=47324 수학백과: 부정명제]]

----
전건긍정 - Ggl:전건긍정 Ndict:전건긍정 - 타당
전건부정 - Ggl:전건부정 Ndict:전건부정 - [[논리적오류,logical_fallacy]] ... [[오류,fallacy]]
후건긍정 - Ggl:후건긍정 Ndict:후건긍정 - [[논리적오류,logical_fallacy]]
후건부정 - Ggl:후건부정 Ndict:후건부정 - 타당

표로
||           || [[전건,antecedent]]       || [[후건,consequent]] ||
||긍정       || [[전건긍정,modus_ponens]] || 오류                      ||
||'''부정''' || 오류                      || [[후건부정,modus_tollens]] ||

----
MKLINK
[[후건부정,modus_tollens]]
[[명제,proposition]]
opp. [[긍정,]]? KmsK:긍정 Ndict:긍정 Ggl:논리학+긍정+부정 Naver:논리학+긍정+부정

----
비교 TBW
[[inversion]]
 관계를 찾아보려고 Google:inversion+negation 해보니 언어학에 [[negative_inversion]] { WpEn:Negative_inversion = https://en.wikipedia.org/wiki/Negative_inversion } 이란 게 있다
Google:negativity
(del ok) 한국어 부정은 denial의 뜻도 있지 않나?
Cmp: denial =,denial . denial
 {
 Ggl:"denial negation difference"
 Ggl:"denial negation 차이"
 Bing:"denial negation 차이"
 } // denial Ggl:denial NdEn:denial Ndict:denial

[[반대,opposite]]

----
[[Zeta:부정(negation)]]

[[WpKo:부정_(언어학)]]
[[WpKo:부정_(논리학)]]

[[논리부정,logical_negation]]
https://en.wikiversity.org/wiki/Logical_negation

Up: [[연결사,connective]] > [[논리연결사,logical_connective]]