연언 도입

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요

연언 도입은 다음과 같은 추론 규칙이다. P와 Q가 주어지면, P ∧ Q를 결론으로 이끌어낼 수 있다. 이 규칙은 시퀀트 표기법으로 P, Q ⊢ P ∧ Q로 표현될 수 있으며, 직관 논리에서 성립하고 고전 논리를 포함한 모든 초직관 논리에서도 성립한다.

연언 도입

📚 더 읽어볼만한 페이지

추론 규칙 - 드 모르간의 법칙
드 모르간의 법칙은 명제 논리, 술어 논리, 집합론, 부울 대수 등에서 결합 또는 분리의 부정을 각 요소의 부정의 분리 또는 결합으로 표현하는 논리적 원리이다.
추론 규칙 - 부정 도입
부정 도입은 기호 논리학의 추론 규칙으로, P가 참일 경우 모순된 결론이 도출되므로 P가 거짓임을 이끌어내는 방법이다.
직관 논리 - 에밀 보렐
프랑스의 수학자이자 정치인인 에밀 보렐은 측도론과 확률론에 기여하고 보렐 집합 개념으로 알려져 있으며, 무한 원숭이 정리와 같은 사고 실험과 게임 이론 연구, 프랑스 하원 의원 및 해군부 장관 역임, 레지스탕스 운동 참여, 파리 통계 연구소 및 앙리 푸앵카레 연구소 설립 기여 등으로 다양한 업적을 남겼다.
직관 논리 - 쌍조건문 도입
쌍조건문 도입은 두 논리식 간의 함의 관계를 통해 동치를 추론하는 추론 규칙으로, 직관 논리 및 모든 초직관 논리에서 성립한다.
고전 논리 - 명제 논리
명제 논리는 진릿값을 갖는 명제를 다루는 형식 논리 체계로, 논리 연결사를 사용하여 명제를 결합하고 논증을 분석하며, 다양한 논리학자들의 연구를 통해 발전하여 컴퓨터 과학 및 수리 논리학에서 활용된다.
고전 논리 - 동일성
동일성은 철학에서 자기 자신과 일치하고 자기 동일적으로 존재하며 다른 것에 의존하지 않는 개념으로, 고대부터 현대까지 다양한 철학자와 여러 분야에서 논의되고 활용되어 왔다.

1. 개요
2. 정의
3. 형식 표기법
4. 성질

2. 정의

연언 도입은 다음과 같은 추론 규칙이다.

: $\begin{matrix}P\qquad Q \\\hlineP\land Q\end{matrix}$

또는

: $P,Q\vdash P\land Q$

여기서

* $P$ , $Q$ 는 논리식을 나타내는 메타 변수이다.
* $\land$ 는 논리곱이다.
* 수평선은 증명 과정의 이웃한 두 단계를 구분하는 메타 논리 기호이다.
* $\vdash$ 는 왼쪽에 놓인 논리식들로부터 오른쪽에 놓인 논리식을 증명할 수 있음을 나타내는 메타 논리 기호이다.

3. 형식 표기법

연언 도입 규칙은 시퀀트 표기법으로 작성할 수 있다.

: $P, Q \vdash P \land Q$

여기서 $P$ 와 $Q$ 는 어떤 형식 체계로 표현된 명제이며, $\vdash$ 는 $P \land Q$ 가 $P$ 와 $Q$ 가 어떤 논리 체계의 증명에서 각 줄에 있다면 구문적 결과임을 의미하는 메타논리 기호이다.

4. 성질

직관 논리에서 성립하며, 따라서 고전 논리를 비롯한 모든 초직관 논리에서 성립한다.