사용자:Darkbosal/선거틀: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
편집 요약 없음 |
내용을 "{{둘러보기 상자 | 이름 = 수리논리학 | 상태 = {{{state|off}}} | 제목 = 수리논리학 | 내용속성 = hlist <!---------------- 일반 -----..."(으)로 바꿈 태그: 대체됨 2017 원본 편집 |
||
1번째 줄:
{{둘러보기 상자
| 이름 = 수리논리학
| 상태 = {{{state|off}}}
| 제목 = [[수리논리학]]
| 내용속성 = hlist
<!---------------- 일반 ----------------->
| 묶음1 = 일반
| 내용1 =
* [[형식 언어]]
* [[Formation rule]]
* [[형식 체계]]
* [[형식 증명]]
* [[형식 의미론]]
* [[논리식]]
* [[집합]]
* [[원소 (수학)| 원소]]
* [[모임 (집합론)|모임]]
* [[고전 논리]]
* [[공리]]
* [[자연 연역]]
* [[추론 규칙]]
* [[관계 (수학)|관계]]
* [[정리]]
* [[논리적 결과]]
* [[공리계]]
* [[형 이론]]
* [[논리기호]]
* [[통사 (logic)|통사]]
* [[Theory (mathematical logic)|Theory]]
<!---------------- 명사논리학 ----------------->
| 묶음2 = [[명사논리학]]
| 내용2 =
* [[명제]]
* [[추론]]
* [[논증]]
* [[타당성]]
* [[Cogency]]
* [[삼단논법]]
* [[대당관계]]
* [[벤 다이어그램]]
<!----------------명제 논리 ----------------->
| 묶음3 = {{longitem|[[명제 논리]]<br/>[[불 논리]]}}
| 내용3 =
* [[불 함수]]
* [[명제 논리]]
* [[규범논리]]
* [[논리 연산]]
* [[진리표]]
<!----------------술어 논리 ----------------->
| 묶음4 = [[술어 논리]]
| 내용4 =
* [[1차 논리]]
* [[양화 (logic)|양화]]
* [[술어 (mathematical logic)|술어]]
* [[2차 논리]]
* [[Monadic predicate calculus]]
| 묶음5 = [[소박한 집합론]]
| 내용5 =
* [[Set (mathematics)|Set]]
* [[Empty set]]
* [[Element (mathematics)|Element]]
* [[Enumeration]]
* [[Extensionality]]
* [[Finite set]]
* [[Infinite set]]
* [[Subset]]
* [[Power set]]
* [[Countable set]]
* [[Uncountable set]]
* [[Recursive set]]
* [[Domain of a function|Domain]]
* [[Codomain]]
* [[Image (mathematics)|Image]]
* [[Map (mathematics)|Map]]
* [[Function (mathematics)|Function]]
* [[Binary operation|Relation]]
* [[Ordered pair]]
| 묶음6 = [[집합론]]
| 내용6 =
* [[Foundations of mathematics]]
* [[Zermelo–Fraenkel set theory]]
* [[Axiom of choice]]
* [[General set theory]]
* [[Kripke–Platek set theory]]
* [[Von Neumann–Bernays–Gödel set theory]]
* [[Morse–Kelley set theory]]
* [[Tarski–Grothendieck set theory]]
| 묶음7 = [[모형 이론]]
| 내용7 =
* [[Structure (mathematical logic)|Model]]
* [[Interpretation (logic)|Interpretation]]
* [[Non-standard model]]
* [[Finite model theory]]
* [[Truth value]]
* [[Validity]]
| 묶음8 = [[증명 이론]]
| 내용8 =
* [[Formal proof]]
* [[Deductive system]]
* [[Formal system]]
* [[Theorem]]
* [[Logical consequence]]
* [[Rule of inference]]
* [[Syntax (logic)|Syntax]]
| 묶음9 = [[계산 가능성 이론]]
| 내용9 =
{{계산 가능성 이론 목록}}
<!--| below = ...-->
}}<noinclude>
{{documentation|content=
{{collapsible option}}
==See also==
*{{tl|Set theory}}
{{Logic templates}}
[[Category:Mathematics navigational boxes]]
[[Category:Philosophy and thinking navigational boxes]]
}}
|