심벌 마크
유니온백과
통신
다운로드하기 Google Play
새로운! 안드로이드 ™에 유니온백과를 다운로드 할 수 있습니다
비어 있는
브라우저보다 빠른!
 

2차 논리

색인 2차 논리

수리논리학에서, 2차 논리(二次論理)는 임의의 다항 관계 및 다항 연산에 대한 변수 및 이에 대한 전칭·존재 기호를 사용할 수 있는 논리이.

24 처지: 뢰벤하임-스콜렘 정리, 멱집합, 명제논리, 고틀로프 프레게, 괴델의 불완전성 정리, 괴델의 완전성 정리, 부분집합, 부정, 구조 (논리학), 논리곱, 논리합, 논리식, 이솝 우화, 조지 불로스, 집합론, 찰스 샌더스 퍼스, 추이적 모형, 콤팩트성 정리, 윌러드 밴 오먼 콰인, 순서체, 수리논리학, 할레, 알고리즘, 1차 논리.

뢰벤하임-스콜렘 정리

모형 이론에서, 뢰벤하임-스콜렘 정리(Löwenheim-Skolem定理)는 논리적 언어의 특정한 크기를 갖는 모형의 존재에 대한 정리.

새로운!!: 2차 논리와 뢰벤하임-스콜렘 정리 · 더보기 »

멱집합

하세 도표로 표현한 \x, y, z\의 멱집합 원소들 집합론에서, 어떤 집합의 멱집합(冪集合)은 그 집합의 모든 부분 집합을 모은 집합이.

새로운!!: 2차 논리와 멱집합 · 더보기 »

명제논리

명제 논리(命題論理, propositional logic)는 논리식을 이용해 명제를 기술하는 형식 체계이.

새로운!!: 2차 논리와 명제논리 · 더보기 »

고틀로프 프레게

리드리히 루트비히 고틀로프 프레게(1848년 11월 8일 ~ 1925년 7월 26일)는 독일의 수리논리학자이자 철학자이.

새로운!!: 2차 논리와 고틀로프 프레게 · 더보기 »

괴델의 불완전성 정리

수리논리학에서, 괴델의 불완전성 정리()는 페아노 공리계를 포함하는 모든 무모순적 공리계는 참인 일부 명제를 증명할 수 없으며, 특히 스스로의 무모순성을 증명할 수 없다는 정리.

새로운!!: 2차 논리와 괴델의 불완전성 정리 · 더보기 »

괴델의 완전성 정리

수리논리학에서, 괴델의 완전성 정리(Gödel-完全性定理)는 1차 논리에서 증명 가능한 명제의 집합은 모형을 갖는다는 정리.

새로운!!: 2차 논리와 괴델의 완전성 정리 · 더보기 »

부분집합

부분집합 관계를 표현한 벤 다이어그램. ''A''는 ''B''의 부분집합이다. 집합론에서 집합 B의 부분집합(部分集合) A는, 모든 원소가 B에도 속하는 집합이.

새로운!!: 2차 논리와 부분집합 · 더보기 »

부정

수리 논리학에서 부정(否定)은 명제의 참과 거짓을 반전하는 논리 연산이.

새로운!!: 2차 논리와 부정 · 더보기 »

구조 (논리학)

모형 이론에서, 구조(構造)는 어떤 주어진 1차 논리 언어의 해석을 갖춘 집합이.

새로운!!: 2차 논리와 구조 (논리학) · 더보기 »

논리곱

AND 논리 게이트 논리곱(기호: AND)이란 수리 논리학에서, 주어진 복수 명제 모두가 참인지를 나타내는 논리 연산이.

새로운!!: 2차 논리와 논리곱 · 더보기 »

논리합

리합(logical sum, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이.

새로운!!: 2차 논리와 논리합 · 더보기 »

논리식

리식은 논리 변수들을 논리 연산자를 이용하여 조합한 것이.

새로운!!: 2차 논리와 논리식 · 더보기 »

이솝 우화

이솝, 하트만 슈에델이 뉘르베르크 연대기에 그린 그림. 이솝이 15세기 독일인처럼 옷을 입고 있다. 이솝우화(- 寓話) 혹은 아이소피카(Aesopica)는 고대 그리스에 살았던 노예이자 이야기꾼이었던 아이소포스가 지은 우화 모음집을 말. 아이소포스는 흔히 이솝으로도 알려져 있. 이솝우화는 의인화된 동물들이 등장하는 단편 우화 모음집을 가리키는 총괄적 용어이.

새로운!!: 2차 논리와 이솝 우화 · 더보기 »

조지 불로스

조지 스티븐 불로스(1940~1996)는 미국의 수리논리학자이자 분석철학자이.

새로운!!: 2차 논리와 조지 불로스 · 더보기 »

집합론

집합론(集合論)은 추상적 대상들의 모임인 집합을 연구하는 수학 이론이.

새로운!!: 2차 논리와 집합론 · 더보기 »

찰스 샌더스 퍼스

스 샌더스 퍼스(1839년~1914년)는 미국의 철학자이다. 현대 분석철학 및 기호논리학의 뛰어난 선구자 중 한 사람이다.

새로운!!: 2차 논리와 찰스 샌더스 퍼스 · 더보기 »

추이적 모형

집합론에서, 추이적 모형(推移的模型)은 내부적 포함 관계가 외부적 포함 관계와 같은, 추이적 집합 위에 정의된 집합론 모형이.

새로운!!: 2차 논리와 추이적 모형 · 더보기 »

콤팩트성 정리

수리논리학에서 콤팩트성 정리(compact性定理)는 만약 어떤 1차 논리 이론의 모든 유한 집합이 만족 가능하다면, 이론 전체가 만족 가능하다는 정리.

새로운!!: 2차 논리와 콤팩트성 정리 · 더보기 »

윌러드 밴 오먼 콰인

윌러드 밴 오먼 콰인(Willard Van Orman Quine, 1908년 6월 25일 ~ 2000년 12월 25일)(친지들은 그를 "Van"이라 칭했다)은 분석철학의 전통을 따르는 현대 미국의 철학자이자 논리학자이.

새로운!!: 2차 논리와 윌러드 밴 오먼 콰인 · 더보기 »

순서체

수학에서, 순서체(順序體)는 전순서가 주어진 체이.

새로운!!: 2차 논리와 순서체 · 더보기 »

수리논리학

수리논리학(數理論理學)은 논리학에서 사용하는 명제들을 수학적인 기호로 표시하는 학문이.

새로운!!: 2차 논리와 수리논리학 · 더보기 »

할레

급수탑 할레() 또는 할레 (잘레)(), 할레안데어잘레()는 독일 동부 작센안할트 주에 있는 도시이.

새로운!!: 2차 논리와 할레 · 더보기 »

알고리즘

알고리즘(라틴어, 독일어: Algorithmus)은 수학과 컴퓨터 과학, 언어학 또는 관련 분야에서 어떠한 문제를 해결하기 위한 일련의 절차를 공식화한 형태로 표현한 것을 말. 알고리즘은 연산, 데이터 진행 또는 자동화된 추론을 수행.

새로운!!: 2차 논리와 알고리즘 · 더보기 »

1차 논리

1차 논리(一次論理)는 원소에만 한정 기호를 가할 수 있고, 술어에는 한정 기호를 가할 수 없는 술어 논리이.

새로운!!: 2차 논리와 1차 논리 · 더보기 »

나가는들어오는
이봐 요! 우리는 지금 Facebook에 있습니다! »