1 modus ponens: 긍정 논법