(pㅏq)->(ㅏp->q)
이 정리는 "연역 정리(deduction theorem)"라고 불립니다. @Raccoon 님이 말씀해주신 바와 같이 이건 메타정리이기 때문에 엄밀히 말하자면 명제논리의 정리는 아닙니다.
연역 정리 같은 기초 메타정리는 대부분의 본격적인 논리학 교과서에서 다뤄집니다.
제 기억이 맞다면 위 리스트에서 최소한 벤슨 메이츠, Ted Sider 교재에선 연역 정리 증명이 등장합니다.