Home / Logic / Modus ponens
If you are dancing, you are sweating. You are dancing. Therefore, you are sweating.