검색 결과
둘러보기로 이동
검색으로 이동
문서 제목 일치
- [[수리 논리학]]에서 '''부정'''(否定)은 [[명제]]의 [[진리|참]]과 [[거짓]]을 반전하는 [[논리 연산]]이다. [[분류:논리학]] ...1 KB (39 단어) - 2023년 4월 1일 (토) 04:25
- ...류의 용이성을 제거하고 명제를 효과적으로 쉽게 다룰 수 있도록 하기 위해 도입한 현대 논리학 이론으로서, 기호를 많이 사용하여 '기호 논리학'(symbolic logic)이라고도 한다. [[컴퓨터 과학]] 및 철학논리와 밀접하게 연관되어 있다.<ref>안동환. [https:/ 이 분야는 논리학 및 형식논리의 타 분야로의 응용에 관한 수학적 연구를 포함하고 있으며, 통합적으로는 형식 체계의 표현력과 형식 증명 체계의 연역 가능성 ...7 KB (335 단어) - 2025년 1월 10일 (금) 04:22
- '''일반화 정리'''(generalization theorem, 一般化定理)는 [[수리논리학]]의 [[정리]]로서, [[일차 논리학]]에서 추론규칙 중 하나인 일반화(generalization)가 성립함을 보장해 주는 정리이다. 이 정리는 어떤 [[논리식]]들의 [[ ...1 KB (61 단어) - 2024년 6월 4일 (화) 10:36
- 8 KB (883 단어) - 2024년 12월 20일 (금) 19:22
- [[1차 논리]]와 그 표준적 [[모형 (논리학)|모형]]은 제도를 이룬다. 이 밖에도, 다른 많은 논리 체계들을 제도로 나타낼 수 있다. ...7 KB (723 단어) - 2024년 12월 19일 (목) 23:55
- '''명사'''(名辭)는 [[철학]] 또는 [[논리학]]에서 하나의 [[개념]]을 언어로 나타내며 [[명제]]를 구성하는 데에 요소가 되는 말 또는 단어를 지칭한다. 흔히 [[명사 (품사) 반면 [[내포]](內包)는 명사 즉 개념이 적용되는 범위에 속하는 여러 사물이 공통으로 지니는 필연적 성질의 전체이다. [[형식 논리학]]상으로는 이것과 외연은 반대 방향으로 증가 혹은 감소한다. ...8 KB (262 단어) - 2025년 3월 14일 (금) 01:48
문서 내용 일치
- ...valent logic}})는 명제의 [[진리값|진릿값]]은 [[참]]이나 [[거짓]]의 두 값만을 취한다고 하는 입장에서 구성된 [[논리학]]을 가리킨다. 전통적인 형식 논리학의 입장이며, 다른 비표준 논리학에 대해서 [[표준논리학]]으로 불린다. ...참과 거짓의 두 값에 한정되지 않을 수 있는데 이에는 0과 1 그리고 <math>{{1}\over{2}}</math>값을 갖는 3치 논리학 그리고 무한한 진리값을 가질 수 있는 [[퍼지논리]]나 진리값에 대해 불확실성의 입장을 취하는 [[양자논리]] 등이 있다. ...1 KB (11 단어) - 2024년 5월 19일 (일) 08:45
- ...conditional introduction}})은 두 명제가 서로 [[함의 (논리학)|함의]]한다는 것으로부터 두 명제의 [[동치 (논리학)|동치]]를 유도하는 [[추론 규칙]]이다. * <math>\implies</math>는 [[함의 (논리학)|함의]]이다. ...2 KB (75 단어) - 2022년 7월 29일 (금) 17:46
- ...g|en|biconditional elimination}})는 두 명제의 [[동치 (논리학)|동치]]로부터 두 명제의 서로 [[함의 (논리학)|함의]]를 유도하는 [[추론 규칙]]이다. * <math>\iff</math>는 [[동치 (논리학)|동치]]이다. ...2 KB (88 단어) - 2022년 7월 29일 (금) 17:45
- '''모순'''(矛盾)은 [[명제]]끼리 서로 맞지 않아 [[논리학|논리]]적인 이치에 어긋남을 의미하는 말이다. 고전 논리에서는, 어느 한쪽은 참을 결론으로 내어놓고 다른 쪽은 거짓을 결론으로 내어놓는 그런데 엄밀히 말해서 이 고사의 창과 방패 이야기는 아리스토텔레스 논리학 [[대당 사각형]]에서 말하는 모순이 아니다. 왜냐하면 "이 창은 모든 방패를 뚫을 수 있다."는 문장과 "이 방패는 모든 창을 막을 ...3 KB (12 단어) - 2025년 2월 19일 (수) 09:21
- ...부정 논법'''(否定論法, {{llang|la|modus tollens|모두스 톨렌스}})은 [[가언 명제]]와 그 결론의 [[부정 (논리학)|부정]]으로부터 그 전제의 부정을 유도하는 [[추론 규칙]]이다. 즉, “만약 ''P''라면, ''Q''이다. 그런데 ''Q''가 아 * <math>\implies</math>는 [[함의 (논리학)|함의]]이다. ...2 KB (164 단어) - 2025년 3월 14일 (금) 02:10
- [[수리 논리학]]에서 '''부정'''(否定)은 [[명제]]의 [[진리|참]]과 [[거짓]]을 반전하는 [[논리 연산]]이다. [[분류:논리학]] ...1 KB (39 단어) - 2023년 4월 1일 (토) 04:25
- ...값]] 또는 [[항수 (수학)|가치가 없는]] [[논리 연산|논리 연결자]]이다. 명제 논리의 [[진리 함수]] 체계에서는 [[부정 (논리학)|부정]]인 [[논리적 참]]과 함께 2개의 상정된 [[진릿값]] 가운데 하나이다.<ref>Jennifer Fisher, ''On th ...1 KB (92 단어) - 2024년 7월 27일 (토) 20:30
- ...llang|en|disjunctive syllogism}})은 [[선언 명제]]와 이를 이루는 두 명제 가운데 하나에 대한 [[부정 (논리학)|부정]]으로부터 다른 한 명제를 유도하는 [[삼단 논법]]이다. 즉, “''P''가 참이거나 ''Q''가 참이다. 그런데 ''P''는 * <math>\lnot</math>는 [[부정 (논리학)|부정]]이다. ...2 KB (99 단어) - 2022년 7월 29일 (금) 17:43
- ...{{llang|en|tautology}}) 또는 '''항진명제''', '''토톨로지'''는 [[논리학]]의 용어로, 어떤 [[해석 (논리학)|해석]](interpretation)에 있어서도 항상 참이 되는 [[논리식]]이나 진술을 의미한다. 간단한 예시로 "x가 y와 같거나 ..."만약 ''A''가 ''B''를 시사한다면, not-''B''는 not-''A''를 시사한다, 또한 그 역도 성립한다"), [[대우 (논리학)|대우]]의 법칙. ...3 KB (144 단어) - 2022년 4월 20일 (수) 10:06
- [[수학]]과 [[논리학]]에서 '''동치'''(同値)란 두 문장이 논리적으로 같다는 것을 의미한다. 이것은 한 문장이 참이면 다른 한 문장도 참이고, 한 문장 {{수리 논리학}} ...2 KB (231 단어) - 2023년 4월 1일 (토) 03:11
- [[논리합]](OR, ∨), [[논리곱]](AND, ∧), [[부정 (논리학)|부정]](NOT, ~/¬), [[배타적 논리합]](XOR, ⊕), [[명제]], [[동치]] 등이 있다. [[수학]]이나 [[논리학]] 또는 [[컴퓨터 과학]]의 [[프로그래밍 언어]] 등에서 사용한다. 프로그래밍 언어에서는 [[비트 연산]]이라고도 한다. ...4 KB (417 단어) - 2024년 5월 7일 (화) 03:17
- [[논리학]]에서 '''전건 긍정'''(前件肯定, {{llang|en|affirming the antecedent}}) 또는 '''긍정 논법''' * <math>\implies</math>는 [[함의 (논리학)|함의]]이다. ...2 KB (103 단어) - 2022년 7월 28일 (목) 00:53
- '''임계 쌍'''(critical pair)은 [[수리 논리학]]의 용어이다. 이는 [[항 재작성 시스템]] 상에서 [[재작성]] 규칙을 중복 적용하여 두 개 이상의 서로 다른 항의 생성을 뜻한다. ...587 바이트 (30 단어) - 2024년 5월 7일 (화) 10:15
- [[논리학]]에서, '''구성적 양도 논법'''(構成的兩刀論法) 또는 '''구성적 딜레마'''(構成的dilemma, {{llang|en|const * <math>\implies</math>는 [[함의 (논리학)|함의]]이다. ...2 KB (93 단어) - 2022년 7월 29일 (금) 17:46
- [[논리학]]에서, '''가언적 삼단 논법'''(假言的三段論法, {{llang|en|hypothetical syllogism}}) 또는 '''연쇄 * <math>\implies</math>는 [[함의 (논리학)|함의]]이다. ...2 KB (84 단어) - 2022년 7월 29일 (금) 17:45
- [[논리학]]에서, '''선언 소거'''(選言消去, {{llang|en|disjunction elimination}})는 [[선언 명제]]와 그 * <math>\implies</math>는 [[함의 (논리학)|함의]]이다. ...2 KB (85 단어) - 2022년 7월 29일 (금) 17:54
- [[논리학]]에서 '''초직관 논리'''(超直觀論理, {{llang|en|superintuitionistic logic}}) 또는 '''중간 논리 * 고전 논리학('''CPC'''): '''IPC''' + p ∨ ¬p = '''IPC''' + ¬¬p → p = '''IPC''' + ((p → q) ...7 KB (485 단어) - 2022년 7월 28일 (목) 00:42
- [[논리학]]에서 '''연언 소거'''(連言消去, {{llang|en|conjunction elimination}})은 [[연언 명제]]로부터 그 [[분류:논리학]] ...2 KB (113 단어) - 2024년 12월 19일 (목) 22:45
- * [[부정 (논리학)]] ...1 KB (70 단어) - 2024년 9월 15일 (일) 05:34
- '''전건 부정'''(denying the antecedent)은 원래 진술에서 [[이 (논리학)|이]]를 추론하는 [[형식적 오류]]이다. 이는 다음과 같은 혼합된 [[가언적 삼단 논법]]의 한 유형이다.<ref name="KA" ...1 KB (78 단어) - 2024년 10월 19일 (토) 15:59