연언 소거

2. 정의

'''연언 소거'''는 두 개의 논리곱 명제 $P\; \backslash land\; Q$로부터 $P$ 또는 $Q$를 각각 결론으로 이끌어내는 추론 규칙이다.^[9][10]

:$\backslash begin\{matrix\}$

P\land Q \\

\hline

P

\end{matrix}\qquad\begin{matrix}

P\land Q \\

\hline

Q

\end{matrix}

또는

:$P\backslash land\; Q\backslash vdash\; P\backslash qquad\; P\backslash land\; Q\backslash vdash\; Q$

여기서

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

2. 1. 표기법

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

2. 2. 시퀀트 표기법

2. 3. 진리 함수