검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- ...절대 논리식'''(絶對論理式, {{llang|en|absolute formula}})은 모든 [[모형 (논리학)|모형]]에서 참인 [[논리식]]이다. === 상향·하향 절대 논리식 === ...5 KB (455 단어) - 2024년 6월 5일 (수) 02:24
문서 내용 일치
- ...중 하나인 일반화(generalization)가 성립함을 보장해 주는 정리이다. 이 정리는 어떤 [[논리식]]들의 [[집합]] G와 논리식 p에 대해 다음과 같이 쓸 수 있다.<ref name="a">Herbert B. Enderton (2002), ''A mathemati # 어떤 논리식 q가 존재해서 [[전건긍정식]]에 의해 <math>q \rightarrow p</math> 인 경우. ...1 KB (61 단어) - 2024년 6월 4일 (화) 10:36
- ...n theorem}})는 [[술어 논리]] 및 [[1차 논리]]의 [[메타 정리]](metatheorem)로, 전제된 논리식 E로부터 논리식 F를 [[연역]]가능하다면 [[함의]] E → F가 증명가능(공집합으로부터 연역 가능)하다는 정리이다. 기호로 나타내면 <math> E ...1 KB (57 단어) - 2024년 5월 7일 (화) 08:54
- ...절대 논리식'''(絶對論理式, {{llang|en|absolute formula}})은 모든 [[모형 (논리학)|모형]]에서 참인 [[논리식]]이다. === 상향·하향 절대 논리식 === ...5 KB (455 단어) - 2024년 6월 5일 (수) 02:24
- [[논리식]] <math>P</math>를 가정으로 삼아 과정 <math>\mathcal D</math>를 통해 논리식 <math>Q</math>를 유도한 것을 고전 명제 논리 또는 직관 명제 논리에서, 논리식 ...2 KB (183 단어) - 2024년 12월 21일 (토) 04:09
- [[논리식]] <math>\phi</math>의, 변수 <math>x_1,\dots,x_n</math> 및 항 <math>t_1,\dots,t_n * 논리식 <math>\phi</math>에 대하여, <math>(\lnot\phi)[t_1/x_1,\dots,t_n/x_n]=\lnot(\phi ...6 KB (793 단어) - 2024년 12월 21일 (토) 05:47
- ...토톨로지'''는 [[논리학]]의 용어로, 어떤 [[해석 (논리학)|해석]](interpretation)에 있어서도 항상 참이 되는 [[논리식]]이나 진술을 의미한다. 간단한 예시로 "x가 y와 같거나, x가 y와 같지 않다", "이 공은 녹색이거나 이 공은 녹색이 아니다" 따 [[분류:논리식]] ...3 KB (144 단어) - 2022년 4월 20일 (수) 10:06
- ...되어 내용적으로 긍정이 되는 부정법'을 가리킨다. 이러한 이중부정의 방법은 한 번 부정한 것을 다시 한번 부정하여 긍정을 나타내는 [[논리식]]의 중요한 형식중 하나이다. 기호로는 Double Negation의 약자인 DN 이다 ...1 KB (48 단어) - 2024년 7월 25일 (목) 03:17
- !논리식 !논리식 조건 ...5 KB (387 단어) - 2024년 12월 21일 (토) 14:33
- ...규칙'''(推論規則, {{llang|en|rule of inference}}) 또는 '''추론 형식'''이란, [[논리학]]에서 [[논리식]]으로부터 다른 논리식을 이끄는 규칙을 말한다. [[분류:논리식]] ...3 KB (146 단어) - 2024년 11월 30일 (토) 14:07
- === 논리식 === 분지 유형 이론의 '''유사 논리식'''(類似論理式, {{llang|en|pseudoformula}})은 다음과 같다. ...20 KB (2,308 단어) - 2024년 5월 18일 (토) 12:31
- ''d''차 논리의 '''[[논리식]]'''(論理式, {{llang|en|(well-formed) formula}})은 다음과 같다. * 논리식 <math>\phi,\psi</math> 및 변수 <math>x^\sigma</math>에 대하여, ...6 KB (577 단어) - 2024년 5월 5일 (일) 10:06
- '''타르스키의 정의 불가능성 정리 (산술)''': T*를 정의하는 L-논리식 True(n)은 존재하지 않는다. 즉, 모든 L-논리식 A에 대하여 True(g(A)) ↔ A 가 성립하게 하는 True(n)은 존재할 수 없다. ...능한 방법으로는 나타낼 수 없다는 것이다. 이는 "자기표현"의 범위에 중요한 제한을 가한다. T*를 확장(extension)으로 하는 논리식 True(n)은 정의하는 것이 가능하나, 이는 L의 표현력을 뛰어넘는 메타언어를 통해서만 이루어질 수 있다. 예를 들어 1차 산술의 진 ...6 KB (309 단어) - 2025년 3월 8일 (토) 14:09
- ...미를 나타내며, ''E''는 '적어도 한개의 어떤 실행 가능한 경로가 어느 때에 존재하여'의 의미를 나타낸다. 다음 식은 CTL의 [[논리식]](well-formed formula)이다. 어떤 논리식 φ, ψ에 대하여, 각 연산자가 붙은 다음 CTL 식들의 의미는 다음과 같다. ...3 KB (141 단어) - 2024년 7월 7일 (일) 00:35
- ...의미론적 귀결 관계 <math>\vDash</math>를 포함하는 [[형식 체계]]가 있다 하자. 임의의 [[논리식]]들의 집합 G와 논리식 p에 대하여. 다음이 항상 성립하면 형식 체계가 '''건전'''({{llang|en|sound}})하다고 한다.<ref name="a" ...3 KB (92 단어) - 2022년 2월 26일 (토) 18:09
- * <math>P</math>, <math>Q</math>는 [[논리식]]을 나타내는 메타 변수이다. ...1 KB (77 단어) - 2022년 7월 28일 (목) 02:30
- ...산'''(sequent calculus)은 [[1차 논리]]나 특수한 [[명제 논리]]에서 쓰이는 [[연역]] 계산법의 일종으로, [[논리식]]으로 이루어진 특수한 열인 시퀀트를 이용한다. 유사한 수법까지 총칭하여 '''겐첸 체계'''(Gentzen system)라고도 불리며 '''시퀀트'''({{llang|en|sequent}})란 일반적인 형태의 논리식(조건절)들의 나열로, 표명(assertion) 방식의 일종이다. 전건의 명제들의 [[논리곱]]을 전제로 삼고 후건의 명제들의 [[논리합 ...10 KB (755 단어) - 2023년 1월 23일 (월) 01:11
- * <math>P</math>, <math>Q</math>는 [[논리식]]을 나타내는 메타 변수이다. ...2 KB (75 단어) - 2022년 7월 29일 (금) 17:46
- ...>T_1 \vdash \varphi</math> 와 <math>T_2 \vdash \neg\varphi</math>를 동시에 만족하는 논리식 <math>\varphi</math> 가 존재하지 않는다면, S∪T 역시 무모순하다. ...2 KB (65 단어) - 2022년 2월 28일 (월) 11:59
- * <math>P</math>, <math>Q</math>는 [[논리식]]을 나타내는 메타 변수이다. ...2 KB (88 단어) - 2022년 7월 29일 (금) 17:45
- 명제 논리의 '''[[논리식]]'''(論理式, {{llang|en|(well-formed) formula}})은 다음 문법을 따르는 명제 논리 기호들의 문자열이다. * 논리식 <math>P</math>, <math>Q</math>에 대하여, <math>\lnot P</math>와 <math>P\Longrigh ...10 KB (688 단어) - 2025년 3월 3일 (월) 06:04