Difference between r1.15 and the current
@@ -1,3 +1,5 @@
#noindex
##====부정,negation =,negation 부정 negation
기호: not, ~, !, ¬ 등등? chk¬T=F
@@ -12,6 +14,12 @@
[[명제,proposition]] = [[명제proposition]] 를 부정해 만든 새로운 명제? chk
[[https://terms.naver.com/entry.naver?docId=3338026&cid=47324&categoryId=47324 수학백과: 부정명제]]
----
전건긍정 - Ggl:전건긍정 Ndict:전건긍정 - 타당
전건부정 - Ggl:전건부정 Ndict:전건부정 - [[논리적오류,logical_fallacy]] ... [[오류,fallacy]]
[[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]]
기호: 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
부정명제
부정정규형 부정정규형식 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
전건긍정 - 전건긍정 전건긍정 - 타당
전건부정 - 전건부정 전건부정 - 논리적오류,logical_fallacy ... 오류,fallacy
후건긍정 - 후건긍정 후건긍정 - 논리적오류,logical_fallacy
후건부정 - 후건부정 후건부정 - 타당
전건부정 - 전건부정 전건부정 - 논리적오류,logical_fallacy ... 오류,fallacy
후건긍정 - 후건긍정 후건긍정 - 논리적오류,logical_fallacy
후건부정 - 후건부정 후건부정 - 타당
표로
MKL
논리학의 오류fallacy/logical_fallacy 중에서 형식적오류 형식적오류 formal_fallacy
전건,antecedent | 후건,consequent | |
긍정 | 전건긍정,modus_ponens | 오류 |
부정 | 오류 | 후건부정,modus_tollens |
MKL
논리학의 오류fallacy/logical_fallacy 중에서 형식적오류 형식적오류 formal_fallacy
비교 TBW
inversion
(del ok) 한국어 부정은 denial의 뜻도 있지 않나?
Cmp: denial =,denial . denial
반대,opposite
inversion
관계를 찾아보려고 inversion negation해보니 언어학에 negative_inversion { Negative_inversion = https://en.wikipedia.org/wiki/Negative_inversion } 이란 게 있다
negativity(del ok) 한국어 부정은 denial의 뜻도 있지 않나?
Cmp: denial =,denial . denial
반대,opposite
Up:
연결사,connective > 논리연결사,logical_connective
unary logical operator = 논리연산자,logical_operator ~= 논리연산,logical_operation
연결사,connective > 논리연결사,logical_connective
unary logical operator = 논리연산자,logical_operator ~= 논리연산,logical_operation