검색 결과
둘러보기로 이동
검색으로 이동
- [[분류:의미론]] ...1 KB (11 단어) - 2024년 5월 19일 (일) 08:45
- [[분류:의미론 (언어학)]] ...1 KB (48 단어) - 2024년 7월 25일 (목) 03:17
- [[분류:의미론]] ...1 KB (42 단어) - 2022년 2월 26일 (토) 22:11
- == 의미론 == ...8 KB (1,159 단어) - 2022년 7월 28일 (목) 02:29
- == 의미론 == === 헤이팅 대수 의미론 === ...7 KB (485 단어) - 2022년 7월 28일 (목) 00:42
- ...리|공리계K]]보다도 약한 [[양상 논리|양상논리]], 특히 필연화 규칙(necessitation rule)을 기각하는 양상논리에 [[의미론]]을 부여하는 순수한 기술적 수단으로 사용되었다. 이하, <math>\Box</math> 그러한 논리학은 전형적으로 「비정규」라고 언급된다. [[wikipedia:Kripke semantics|크립키 의미론]]에서 양상논리 어휘의 표준적인 해석 아래에서는, 각 모델에서 <math>A</math><math>\vdash A</math><math ...6 KB (230 단어) - 2024년 6월 4일 (화) 14:12
- [[분류:의미론]] ...3 KB (106 단어) - 2024년 5월 18일 (토) 04:58
- === 의미론 === ...10 KB (688 단어) - 2025년 3월 3일 (월) 06:04
- ...우, 사건들은 가능세계의 집합이며 앎은 사건에 대한 작용소가 된다. 이러한 두 방법은 서로 가까운 것이지만, 논리적 방법은 [[크립키 의미론]]으로 형식화되어 있는 데 반해 사건적 방법은 Aumann 구조에 기반한 것으로써 양상 논리식은 전혀 사용되지 않는다. 이러한 접근은 === 의미론 === ...10 KB (419 단어) - 2024년 5월 9일 (목) 02:53
- ...할 수 있는 상황으로 정의한다. [[귀류법]]은 어떠한 주장이 모순이기 때문에 그 주장의 부정이 참임을 논증하는 증명법이다. 한편 [[의미론]]에서는 어떠한 명제가 '충족불가능'한 경우로 정의한다. ...3 KB (12 단어) - 2025년 2월 19일 (수) 09:21
- === 의미론 === ...10 KB (710 단어) - 2024년 5월 18일 (토) 11:00
- [[논리학]]에서 '''건전성'''({{llang|en|soundness}})이란, 형식 체계 내에서 증명가능한 명제(즉 정리)가 의미론 상으로도 참이 되는 성질이다. 이는 논리학에서 [[완전성]]의 역개념이 된다. ...3 KB (92 단어) - 2022년 2월 26일 (토) 18:09
- === 의미론 === .... 헹킨 의미론을 사용할 경우 2차 논리는 사실상 [[1차 논리]]와 같아진다. 간혹 헹킨 의미론과 구별하기 위하여 전자를 '''표준 의미론'''({{llang|en|standard semantics}})이라고 하기도 한다. ...15 KB (1,163 단어) - 2024년 6월 3일 (월) 13:46
- [[수리 논리학]]에서 [[증명 이론]]과 모형 이론은 각각 논리적 언어에 대한 [[통사론]]과 [[의미론]]과 같다고 할 수 있다. 모형이론은 특정 이론 속의 모든 논리적 문장을 만족시키는 구조를 다루는 분야로, 보통 [[1차 논리]] 등 ...리]] 등이 현대적 형태의 모델 이론의 출발을 알렸다. 이외에 모델 이론의 초기 선구자는 [[알프레트 타르스키]]로 그가 논리학의 [[의미론]]에서 논리체계에 진리 여부를 일괄적으로 부여하는 존재를 연구하면서 구조의 개념을 사용하였고 이에 모델 이론이 대두되었다고 볼 수 있다 ...9 KB (345 단어) - 2024년 12월 20일 (금) 23:03
- == 의미론 == ...11 KB (814 단어) - 2024년 12월 19일 (목) 22:07
- ...성립하는 체계에서는, 적어도 1차 논리인 경우에는, 부분식 성질(subformula property)이 성립한다. 이는 [[증명론적 의미론]]에서 중요하게 쓰이는 성질로, 증명과정(증명도)에 등장하는 모든 논리식이 귀결의 부분식(subformula)가 되는 성질이다. ...4 KB (123 단어) - 2022년 2월 12일 (토) 09:05
- ...트성 정리|콤팩트성]]을 만족하는 가장 강한 논리이다. [[2차 논리]] 이상의 고차 논리에서는 완전성이 성립하지 않는다. [[크립키 의미론]]을 이용하여 많은 경우 정규 [[양상 논리]]의 경우에도 완전성이 성립한다. ...5 KB (281 단어) - 2024년 9월 21일 (토) 16:14
- ....org/Papers/AAAI/2006/AAAI06-204.pdf}}</ref>를 개선하는 수단으로 고안되었고 두 연구자에 의해 "[[의미론|의미적]] 관계도"라고 불리는 것을 계산하기 위해 이용되었다. 이 의미적 관계도는 상기 벡터들의 [[코사인 유사도|코 ...6 KB (314 단어) - 2024년 5월 18일 (토) 04:39
- ...'''타르스키의 정의 불가능성 정리'''({{llang|en|Tarski's undefinability theorem}})는 형식 [[의미론]]에 있어서 자기표현에 관한 중요한 제한을 가하는 정리이다. 이 정리를 비형식적으로 기술하면, "산술적 진리는 산술 내에서 정의될 수 ...6 KB (309 단어) - 2025년 3월 8일 (토) 14:09
- === 크립키-주아얄 의미론 === 토포스 위의 미첼-베나부 언어에 대하여, '''크립키-주아얄 의미론'''({{llang|en|Kripke–Joyal semantics}})이라는 의미론이 존재한다.<ref name="MML"/>{{rp| ...29 KB (2,208 단어) - 2024년 5월 18일 (토) 11:20