假言的推論

가언적추론

거짓 가, 우뚝할 언, 밝을 적, 차례로옮길 추, 말할 론