#redirect 명제 논리#s-3.2