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

[[이중부정,double_negation]]
 이중부정제거 이중부정삭제 [[double_negation_elimination]] (DNE) 
  - [[고전논리,classical_logic]]에선 ok, but 직관논리 직관주의논리 [[intuitionistic_logic]]에서는 not ok?

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의 뜻도 있지 않나?
[[반대,opposite]]

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

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

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

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