Raccoon님이 지적해주셨듯, "전제가 참일 때, 결론도 (단지 참이 아니라 반드시) 참인 논증"이 타당한 논증입니다. 제가 '반드시'를 어따 팔아먹어버렸네요; 혼선을 빚었을까 미안합니다!