기호: 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]수학백과: 부정명제(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
명제,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
unary logical operator = 논리연산자,logical_operator ~= 논리연산,logical_operation
Retrieved from http://www.red-ruby.com/wiki/wiki.php/부정,negation
last modified 2024-04-24 08:11:27