가언 삼단 논법 (hypothetical syllogism) → 연쇄 논법 Stephen F. Barker, 최세만 이재희 옮김,…