#noindex
Sub:

// (아래 둘) [[validity]] { WtEn:validity Ndict:validity Google:validity } 여부에 따라서, 다음으로 이분:

[[valid_argument]]
 WtEn:valid_argument // none([[Date(2023-08-05T08:52:47)]]) .... Google:valid+argument+definition

[[invalid_argument]]
 WtEn:invalid_argument // none ... Google:invalid+argument+definition
 ex.
 [[biconditional_elimination]]

[[finitary_argument]] =,finitary_argument . finitary_argument
 {
 See https://en.wikipedia.org/wiki/Finitary#Finitary_argument
 }

Logic에서 valid의 번역 대세는 '타당(한)-' ... 

// (이상 둘)

논증으로 번역되는 argument는 항상 https://proofwiki.org/wiki/Definition:Logical_Argument ? of [[로직,logic]] [[논리,logic]] [[논리학,logic]]? CHK

[[diagonal_argument]] =,diagonal_argument =,diagonal_argument . diagonal_argument
(pagename TBD; [[대각선논법,diagonal_argument]](w) or [[대각선논증,diagonal_argument]] 고려 중.)
{
[[WtEn:diagonal_argument]] = jjjjjjjjjjjjjj
WpSp:Diagonal_argument ?
 [[WpSp:Cantor's_diagonal_argument]]
[[WpEn:Diagonal_argument]] = ?
}

slingshot_argument
slingshot argument
WtEn:slingshot_argument x [[Date(2023-12-22T05:33:29)]]
"slingshot argument"
Naver:"slingshot argument"
Ggl:"slingshot argument"
번역? KmsE:slingshot NdEn:slingshot

----
''이하 예전 내용''

AKA: 전산학 쪽에서는 도출(derivation) 𝔇, 𝕯, $\mathcal{D},\mathscr{D}$ 이라고 쓰기도 함.

논증 = 전제 + 결론
논증 = 근거 + 주장

이런 전제, 결론, 근거, 주장은 문장으로 이루어짐.

논증은 [[전제,premise]]들과 마지막에 하나의 [[결론,conclusion]]으로 구성.

논증에서는 [[타당성validity]], [[건전성soundness]]이 가장 중요한 개념.
 타당한 논증
 건전한 논증

논증이 지니는 특성
 * 타당성(validity) or 부당성(invalidity) ... [[valid_argument]] and [[invalid_argument]] ... https://proofwiki.org/wiki/Definition:Valid_Argument  https://proofwiki.org/wiki/Definition:Invalid_Argument
 * 건전성(soundness)

"논증이 참이다" 라고 하면 안됨.
||참, 거짓       ||문장에 쓰임       ||
||타당성, 건전성 ||'''논증'''에 쓰임 ||

타당한 논증:
 전제가 참이면, 반드시 결론이 참인 논증.

Def.
 논증 := (전제/논거/근거/이유)와 (결론/논지/주장)으로 구성된 말 묶음.

Def. 논증시사표현,argument_indicator
 논증 시사 표현 := 이유 시사 표현 or 결론 시사 표현
다만, 논증시사표현이 있더라도 논증이 아닐 수 있다.

이유 시사 표현:
 * 왜냐하면 …
 * … 때문에
 * … 이므로
 * …라는 사실로부터 따라 나온다
 * 이유는 …

= 연역 vs 귀납 =
연역 논증:
 전제가 모두 참이면, 결론도 (반드시/예외 없이/필연적으로) 참이다.

귀납 논증:
 전제가 모두 참이면, 결론도 참일 (개연성/확률)이 높다.

= 설명과 논증의 구분 =
설명: 이미 알려진 어떤 사실이 왜 발생했는지를 밝히려는 시도.
논증: 어떤 주장(결론)이 참임을 기존 지식에 의거하여 확립하려는 시도.

= 중요한 정의 =
임의의 논증 D에 대하여,
 1. D가 타당하다 =,,def,, D의 전제들이 모두 참이면 D의 결론은 __반드시__ 참이다.
 1. D가 부당하다 =,,def,, D가 타당하지 않다.
 1. D가 건전하다 =,,def,, D가 타당하고 D의 전제들이 모두 참이다.

= 연역 논증의 부당성 평가 =
임의의 논증 D에 대하여, D가 부당하다 =,,def,, D의 전제가 모두 참이면서 결론이 거짓인 경우가 있다.

ex.
전제1. 만약 백종원이 100억 복권에 당첨되면 백종원은 부자이다. (T)
전제2. 백종원이 100억 복권에 당첨되지 않았다. (T)
결론. 그러므로 백종원은 부자가 아니다. (F)

= 논증형식 argument form =
[[논증형식,argument_form]]

논증을 복합명제의 변수(기호)로 표현한 것.
[[가정,assumption]]이 $p_1,p_2,\cdots,p_n$ 이고 [[결론,conclusion]]이 $q$ 인 [[논증,argument]]을 '''논증형식'''으로 나타내면
 $(p_1 \wedge p_2 \wedge \cdots \wedge p_n)\vdash q$
여기서 $x\vdash y$ 는 "x에서 y를 증명할 수 있다"를 뜻하는 심볼

Up: [[형식,form]]

= 부당한 논증 형식 =

만약 A이면 B이다. 여기서 
 A: 전건 antecedent 앞말
 B: 후건 succedent 뒷말

전건 부정의 오류
 전제1. 만약 A이면 B이다.
 전제2. A가 아니다.
 결론. 그러므로 B가 아니다.

후건 긍정의 오류
 전제1. 만약 A이면 B이다.
 전제2. B이다.
 결론. 그러므로 A이다.

가정 망각의 오류
 전제. 만약 A이면 B이다.
 결론. 그러므로 B이다.

= Excerpts =
// from [[기호논리학,Elementary_Logic#s-2.1.1]]
한 '''논증'''은 그 논증의 [[결론,conclusion]]이
 * 그 [[전제,premise]]들로부터 따라 나오거나
 * 전제들의 [[귀결,consequence]]일 경우
타당하다라고 말해진다. (sound, [[건전성soundness]]) (valid, [[타당성,validity]])
그렇지 않은 경우 그 논증은 부당하다. ([[부당성,invalidity]])

// from [[기호논리학,Elementary_Logic#s-2.1.2]]
'''논증,argument'''이란,
[[결론,conclusion]]이라 불리는 하나의 서술문과
[[전제,premise]]s들이라 불리는 다른 서술문들로 구성된
''// 서술문 - 원어? -> declarative sentence declarative_sentence Ggl:"declarative sentence" - [[선언,declaration]] [[문장,sentence]] - 내 식으로 직역하면 선언문 - 에 가까운.''
(단일 언어에 속한) 서술문들의 한 체계이다.

= MKL =
비슷: [[추론,inference]]

----
Twin:
https://everything2.com/title/argument

Up:
[[논리학,logic]]
[[아규먼트,argument]] - 같은영단어를 쓰는 다른번역/개념들.