부정,negation in RRWiki

Difference between r1.9 and the current

@@ -1,3 +1,5 @@

#noindex

##====부정,negation =,negation 부정 negation

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

￢T=F

@@ -7,11 +9,33 @@

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

https://ncatlab.org/nlab/show/double+negation

[[부정명제]]
단순한 개념, 근데 영어 정확히 뭐?
[[명제,proposition]] = [[명제proposition]] 를 부정해 만든 새로운 명제? chk
[[https://terms.naver.com/entry.naver?docId=3338026&cid=47324&categoryId=47324 수학백과: 부정명제]]

부정정규형 부정정규형식 negation_normal_form NNF =,negation_normal_form . negation_normal_form =,NNF

{

WtEn:negation_normal_form x (2024-04)

WpEn:Negation_normal_form

}//negation normal form ... Ggl:"negation normal form" Bing:"negation normal form"

----

전건긍정 - Ggl:전건긍정 Ndict:전건긍정 - 타당

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

후건긍정 - Ggl:후건긍정 Ndict:후건긍정 - [[논리적오류,logical_fallacy]]

후건부정 - Ggl:후건부정 Ndict:후건부정 - 타당

표로

|| || [[전건,antecedent]] || [[후건,consequent]] ||

||긍정 || [[전건긍정,modus_ponens]] || 오류 ||

||'''부정''' || 오류 || [[후건부정,modus_tollens]] ||

MKL

논리학의 오류fallacy/logical_fallacy 중에서 형식적오류 Ggl:형식적오류 formal_fallacy

----
MKLINK
[[후건부정,modus_tollens]]

@@ -24,6 +48,13 @@

관계를 찾아보려고 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]]

----

@@ -34,5 +65,8 @@

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

https://ncatlab.org/nlab/show/negation

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

Up: