Difference between r1.16 and the current
@@ -9,6 +9,8 @@
¬¬p=p ?
이중부정제거 이중부정삭제 [[double_negation_elimination]] (DNE)
- [[고전논리,classical_logic]]에선 ok, but 직관논리 직관주의논리 [[intuitionistic_logic]]에서는 not ok?
[[부정명제]]
단순한 개념, 근데 영어 정확히 뭐?
[[명제,proposition]] = [[명제proposition]] 를 부정해 만든 새로운 명제? chk
이중부정제거 이중부정삭제 [[double_negation_elimination]] (DNE)
- [[고전논리,classical_logic]]에선 ok, but 직관논리 직관주의논리 [[intuitionistic_logic]]에서는 not ok?
https://ncatlab.org/nlab/show/double+negation
단순한 개념, 근데 영어 정확히 뭐?
[[명제,proposition]] = [[명제proposition]] 를 부정해 만든 새로운 명제? chk
@@ -63,6 +65,7 @@
[[논리부정,logical_negation]]
https://en.wikiversity.org/wiki/Logical_negation
https://ncatlab.org/nlab/show/negation
Up:
[[연결사,connective]] > [[논리연결사,logical_connective]]
기호: not, ~, !, ¬ 등등? chk
¬T=F
¬F=T
¬F=T
이중부정,double_negation
부정정규형 부정정규형식 negation_normal_form NNF =,negation_normal_form . negation_normal_form =,NNF
{
negation_normal_form x (2024-04)
Negation_normal_form
}//negation normal form ...
negation normal form
negation normal form
¬¬p=p ?
이중부정제거 이중부정삭제 double_negation_elimination (DNE)
https://ncatlab.org/nlab/show/double negation
부정명제이중부정제거 이중부정삭제 double_negation_elimination (DNE)
https://ncatlab.org/nlab/show/double negation
부정정규형 부정정규형식 negation_normal_form NNF =,negation_normal_form . negation_normal_form =,NNF
{
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
}//negation normal form ...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
전건긍정 -
전건긍정
전건긍정 - 타당
전건부정 -
전건부정
전건부정 - 논리적오류,logical_fallacy ... 오류,fallacy
후건긍정 -
후건긍정
후건긍정 - 논리적오류,logical_fallacy
후건부정 -
후건부정
후건부정 - 타당
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
전건부정 -
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
후건긍정 -
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
후건부정 -
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
표로
MKL
논리학의 오류fallacy/logical_fallacy 중에서 형식적오류
형식적오류 formal_fallacy
전건,antecedent | 후건,consequent | |
긍정 | 전건긍정,modus_ponens | 오류 |
부정 | 오류 | 후건부정,modus_tollens |
MKL
논리학의 오류fallacy/logical_fallacy 중에서 형식적오류
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
비교 TBW
inversion
negativity
(del ok) 한국어 부정은 denial의 뜻도 있지 않나?
Cmp: denial =,denial . denial
반대,opposite
inversion
관계를 찾아보려고
inversion negation해보니 언어학에 negative_inversion {
Negative_inversion = https://en.wikipedia.org/wiki/Negative_inversion } 이란 게 있다
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
(del ok) 한국어 부정은 denial의 뜻도 있지 않나?
Cmp: denial =,denial . denial
반대,opposite
논리부정,logical_negation
https://en.wikiversity.org/wiki/Logical_negation
https://ncatlab.org/nlab/show/negation
https://en.wikiversity.org/wiki/Logical_negation
https://ncatlab.org/nlab/show/negation
Up:
연결사,connective > 논리연결사,logical_connective
unary logical operator = 논리연산자,logical_operator ~= 논리연산,logical_operation
연결사,connective > 논리연결사,logical_connective
unary logical operator = 논리연산자,logical_operator ~= 논리연산,logical_operation