부정,negation

부정,negation (rev. 1.12)

기호: 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]수학백과: 부정명제


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




비교 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
반대,opposite