접속사소개

접속사 도입(종종 단순히 접속사로 약칭되기도 하고 도입 또는 부속으로 부르기도 한다)^[1][2][3]은 명제논리의 추론을 위한 유효한 규칙이다. 그 규칙은 논리적인 증거에 접속사를 도입하는 것을 가능하게 한다. 명제 p가 참이고 명제 q가 참이라면 두 명제 p와 q의 논리적 결합이 참이라는 추론이다. 예를 들어 '비가 온다'는 말이 사실이고 '고양이 안에 있다'는 말이 사실이라면 '비가 오고 고양이가 안에 있다'는 말이 맞다. 이 규칙은 다음과 같이 명시할 수 있다.

${\displaystyle {\frac {P,Q}{\fore P\land Q}}}$

여기서 규칙은 "${\displaystyle }$ ${\displaystyle P}$및 "${\displaystyle }$ ${\displaystyle Q$의 인스턴스가 증빙 선에 나타나는 경우 "${\displaystyle }$ ${\displaystyle \wedge }$ ${\displaystyle Q}$ ${\displaystyle P\land Q$를 후속 선에 배치할 수 있다는 것이다.

형식 표기법

접속사 도입 규칙은 다음과 같이 순차적 표기법으로 작성할 수 있다.

$P,Q,vdash P\land Q}$

여기서 $P{\displaystyle }$ ${\$$displaystyle P}$과 Q ${\$$displaystyle$ $Q}$은(는) 일부 공식 시스템에서 표현된 제안이며$$, ${\displaystyle ⊢}$ ${\displaystyle P\land Q}$은(는) P {\$displaystyle P}$과 $Q{\displaystyle }$ ${\displaysty$ Q$}$이 각각 하나의 증거 선상에 있으면$$ 통사적 결과라는 것을 의미한다.n 일부 논리적 시스템;

참조