삼단논법,syllogism

KmsE:syllogism
syllogism도, hypothetical syllogism 도 모두 삼단논법

WtEn:syllogism


Example:
modus_ponens - 전건긍정,modus_ponens

2. Sub