검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- ...(metatheorem)로, 전제된 논리식 E로부터 논리식 F를 [[연역]]가능하다면 [[함의]] E → F가 증명가능(공집합으로부터 연역 가능)하다는 정리이다. 기호로 나타내면 <math> E \vdash F </math>이면 <math> \vdash E \rightarr 연역 정리는 다음과 같이 임의의 개수의 유한한 전제 논리식들로 일반화할 수 있다: ...1 KB (57 단어) - 2024년 5월 7일 (화) 08:54
- [[논리학]] 및 [[증명이론]]에서 '''자연 연역'''(自然演繹, natural deduction)이란 자연스러운 [[논리적 추론]]을 나타내는 증명 연산의 일종으로, 최대한 [[공리] 한편 독일의 [[게르하르트 겐첸]]은 독립적으로 1935년 자연 연역 체계를 개발하여 학위논문에 발표하였고 이것이 현대 자연 연역의 기반이 된다. 겐첸은 [[페아노 공리계]]의 일관성을 증명하기 위하여 바 ...15 KB (713 단어) - 2023년 5월 11일 (목) 07:22
문서 내용 일치
- ...(metatheorem)로, 전제된 논리식 E로부터 논리식 F를 [[연역]]가능하다면 [[함의]] E → F가 증명가능(공집합으로부터 연역 가능)하다는 정리이다. 기호로 나타내면 <math> E \vdash F </math>이면 <math> \vdash E \rightarr 연역 정리는 다음과 같이 임의의 개수의 유한한 전제 논리식들로 일반화할 수 있다: ...1 KB (57 단어) - 2024년 5월 7일 (화) 08:54
- ...h>b</math>를 추론하는 방법이다. 즉, 연역법은 가정의 결과를 이끌어내는 과정을 말한다. 가정이 참이라고 주어졌을 때, 타당한 연역 추론은 결과가 참이라는 것을 보장한다. 예를 들어 "위키는 누구나 수정할 수 있다" (<math>a_1</math>) 와 "위키피디아는 ...법이다. 이 추론의 결과로, 귀추법은 결과 <math>b</math>로부터 전제조건 <math>a</math>가 추론되도록 한다. [[연역 추론]]과 귀추법은 "<math>a</math>는 <math>b</math>를 수반한다"라는 규칙을 이용해 추론할 때 방향이 다르다. ...5 KB (207 단어) - 2023년 11월 1일 (수) 12:23
- ...[논리곱]]을 전건, [[논리합]]을 후건으로 삼는다. 참고로 직관논리(LJ)에서는 우변에 하나의 논리식만을 놓을 수 있다. [[자연 연역]]처럼 <math>A \vdash A</math>라는 동일성의 공리만을 공리로 채택하고 많은 추론규칙들을 사용하여 증명을 구성해나가는 * [[연역 정리]] ...4 KB (123 단어) - 2022년 2월 12일 (토) 09:05
- ...\phi</math>를 함의한다는 것은 [[건전성 정리]]이다. 반대로, <math>T\vdash\phi</math>를 가정하자. [[연역]] 과정은 유한하므로, <math>T_0\vdash\phi</math>인 유한 부분 집합 <math>T_0\subset T</math> ...th>T</math>의 모든 유한 부분집합이 만족 가능하면, [[건전성 정리]]에 의해 모든 유한 부분 집합이 무모순이다. 그런데 [[연역]] 과정은 유한하므로, <math>T</math> 또한 첫 번째 명제에 의해 무모순이면 충족가능하다. ...5 KB (281 단어) - 2024년 9월 21일 (토) 16:14
- '''시퀀트 계산'''(sequent calculus)은 [[1차 논리]]나 특수한 [[명제 논리]]에서 쓰이는 [[연역]] 계산법의 일종으로, [[논리식]]으로 이루어진 특수한 열인 시퀀트를 이용한다. 유사한 수법까지 총칭하여 '''겐첸 체계'''(Gen [[자연 연역]]과 유사하게 이미 제시된 식들로부터 [[추론 규칙]]에 근거한 추론을 행하여 새로운 식을 이끌어내는 방식이며, 이는 공리에 근거하여 ...10 KB (755 단어) - 2023년 1월 23일 (월) 01:11
- [[논리학]] 및 [[증명이론]]에서 '''자연 연역'''(自然演繹, natural deduction)이란 자연스러운 [[논리적 추론]]을 나타내는 증명 연산의 일종으로, 최대한 [[공리] 한편 독일의 [[게르하르트 겐첸]]은 독립적으로 1935년 자연 연역 체계를 개발하여 학위논문에 발표하였고 이것이 현대 자연 연역의 기반이 된다. 겐첸은 [[페아노 공리계]]의 일관성을 증명하기 위하여 바 ...15 KB (713 단어) - 2023년 5월 11일 (목) 07:22
- ...)와 [[게르하르트 겐첸]](Gerhard Gentzen)은 독자적으로 [[자연 연역]]의 계산법을 제시하였다. 특히 겐첸은 [[자연 연역]]과 [[시퀀트 계산]]의 핵심부분을 형식화하여 [[직관 논리]]의 형식화의 기반을 쌓고 [[페아노 산술]]의 일관성에 대한 첫 조합적 * [[자연 연역]] ...9 KB (243 단어) - 2024년 12월 20일 (금) 14:19
- [[분류:연역]] ...3 KB (92 단어) - 2022년 2월 26일 (토) 18:09
- ...가 참(眞)인지 아닌지, 또는 완전한지 아닌지에 의존한다. 이 전제는 모든 개구리가 녹색이지 않을 경우에는 참이 아닌 것이 된다. [[연역]]에 따른 [[추론]]이나 논리적 귀결은 [[인식론]]의 중요한 면이며, [[인과]]에 관한 일반적 [[가설]]을 전달하는 의미를 가진 * [[연역]] ...9 KB (232 단어) - 2024년 5월 4일 (토) 15:22
- * [[연역]] ...6 KB (54 단어) - 2025년 1월 3일 (금) 03:05
- * [[구현]] : [[재귀함수|재귀적 알고리즘]], [[연역|연역적 알고리즘]], [[결정론적 알고리즘]], [[근사 알고리즘]], [[양자 알고리즘]] 등. ...8 KB (283 단어) - 2025년 3월 17일 (월) 00:42
- ...는 논리학 및 형식논리의 타 분야로의 응용에 관한 수학적 연구를 포함하고 있으며, 통합적으로는 형식 체계의 표현력과 형식 증명 체계의 연역 가능성에 관한 연구를 포함한다.<ref>오정연. [http://www.daejonilbo.com/news/newsitem.asp?pk_ ...7 KB (335 단어) - 2025년 1월 10일 (금) 04:22
- 한편 이렇게 논리적으로 정의되는 명사는 고전 논리학에서뿐만 아니라 현대논리학에서의 [[명제]]로 나타내지며 내포와 외연을 범주로 해서 [[연역|연역적 추리]]의 핵심 기능을 형성할 뿐만 아니라 사실상 광범위한 올바른 추론의 핵심을 구성한다. ...8 KB (262 단어) - 2025년 3월 14일 (금) 01:48
- ...이템의 경우, 마지막 해결책을 끌어내는 핵심의 순차적 정신적 조작을 2개 이상 요구로 하는 퍼즐을 보인다. 점차 어려워지는 아이템들은 연역, 논리, 추론(inference)을 필요로 하는 퍼즐들을 필요로 한다.<ref name=":1" /> ...ceptual Reasoning Index)는 ''g''<sub>f</sub>를 평가하는 두 하위시험으로, 귀납(induction)과 연역(deduction)을 수반하는 행렬 추론(Matrix Reasoning), 그리고 귀납을 수반하는 도상 개념(Picture Concep ...18 KB (1,067 단어) - 2024년 12월 8일 (일) 22:56
- ...그것들과는 다른 하나의 새로운 판단으로 이끄는 [[추론]] 방법이다. 2개의 명제를 전제로 결론을 내는 대표적인 간접추론 형식이자 [[연역]]추론이다. ...12 KB (492 단어) - 2024년 9월 1일 (일) 04:15
- * [[연역]] ...12 KB (290 단어) - 2025년 3월 13일 (목) 10:48
- ...모순성의 문제가 제기되었다. 형식적인 수학에서는 '진리'와 '증명가능성'의 개념이 구별되어 쓰인다. 즉, 한 [[공리]] 체계에서 [[연역|연역적]]으로 어떤 정리를 도출할 수 있으면 그 정리는 증명가능한 것인데, 그 체계 내에서 거짓임을 증명할 수 없는 어떤 진술이 항상 힐베르트는 [[연역]]적인 체계를 형식화하려고 했다. 여기서 "형식화"란 체계 내의 표현식들의 '의미'를 제거하고 기호들의 연쇄체로 표시하는 것이다. 이 ...27 KB (1,012 단어) - 2024년 12월 9일 (월) 15:43
- ...었고, [[수리논리학]]과 [[증명론]]에서 [[직관주의]]가 입지를 공고히 했으며, [[유형 이론]]과 [[고차 논리]], [[자연 연역]], [[헤이팅 대수]]의 비약적 발전에 영향을 주었다. ...18 KB (199 단어) - 2022년 7월 23일 (토) 05:32
- ...system}})나, [[게르하르트 겐첸]]의 [[시퀀트 계산]]({{llang|en|sequent calculus}})이나 [[자연 연역]]({{llang|en|natural deduction}}) 등을 사용할 수 있다. ...21 KB (1,615 단어) - 2024년 6월 2일 (일) 10:51
- ...g|en|empty statement axiom schema}})은 다음과 같다.<ref group="note">호어 규칙을 [[자연 연역]] 표현법으로 표현하였다. 예를 들어, <math>\dfrac{\alpha,\beta}{\phi}</math>는 "{{수학 변수|&al ...24 KB (1,481 단어) - 2025년 3월 14일 (금) 05:34