• 기호논리학,Elementary_Logic
       [[논증,argument]]의
       [[논증,argument]]이란,
• 논리학,logic
       논리학은 [[추론,inference]] 또는 [[논증,argument]]을 탐구하는 학문.
        [[논증,argument]]
• 논증,argument
       [[가정,assumption]]이 $p_1,p_2,\cdots,p_n$ 이고 [[결론,conclusion]]이 $q$ 인 [[논증,argument]]을 '''논증형식'''으로 나타내면
       '''논증,argument'''이란,
• 대각,diagonal
        [[실수,real_number]]집합이 [[비가산집합,uncountable_set]]?임을 보이는 [[논증,argument]].
• 딜레마,dilemma
        두 [조건문]을 사용하는 특정 [[논증,argument]] type. 다음 두 가지 [[형식,form]]이 있음.
• 리즈닝,reasoning
        논증 - 일단 [[아규먼트,argument]]에서 argument 뜻 중 하나의 pagename을 옛날에 RR [[논증,argument]]으로 하긴 했는데...
• 매개변수,parameter
       논증 [[논증,argument]]
• 소거,elimination
        을 다루는 [[valid_argument]] { 타당한 논증? curr at [[논증,argument]] }이다.
• 아규먼트,argument
       특히 logic에서: 논증 논쟁 .... => [[논증,argument]] .... 보통 [[설득,persuasion]] =설득,persuasion =,persuasion 설득 persuasion { persuation 아님. persuade v. NdEn:설득 Ndict:설득 } 을 목적으로 하는.
• 전제,premise
       [[논증,argument]]
• 진리,truth
       [[문장,sentence]]은 그 자신을 결론으로 갖는 부당한 [[논증,argument]]이 존재하지 않을 경우에 오직 그 경우에만 '''필연적으로 참'''이다.
• 진리값,truth_value
       ... chk [[논증,argument]] / [[불_식,Boolean_expression]] / [[논리식,logic_formula]] ~ [[논리식,logical_formula]] / [[명제식,propositional_formula]] / [[문장,sentence]]
• 진리표,truth_table
       임의의 [[논증,argument]] 𝔇: A,,1,,, …, A,,n,, ⊢ B에 대해,
• 추론,inference
       비슷: [[논증,argument]]
• 형식,form
       [[논증형식,argument_form]] - curr. [[논증,argument]]

You can also click here to search title.