P이면 Q이다. P이다. → Q이다.
추론 형식:
$\displaystyle \frac{A\to B \; A}{B}$
또는
$\displaystyle A\to B,A\vdash B$
여기서
$\displaystyle A,B$ : 논리식을 나타내는 메타 변수
$\displaystyle \to$ :
함의,implication
$\displaystyle \vdash$ : 왼쪽 논리식으로부터 오른쪽 논리식을 증명할 수 있음을 나타내는 메타 논리 기호
P, P→Q ⊢ Q
$\displaystyle \frac{P,\;P \textrm{ implies } Q}{Q}$
Twin: