Рассуждение: «Если N cовершил преступление, то он должен быть наказан. N совершил преступление. Значит, N должен быть наказан» является:

• неправильным модусом, отрицающе-утверждающим, разделительно-категорического умозаключения
• модусом от утверждения основания к утверждению следствия, правильно
• правильным утверждающе-отрицающим модусом, разделительно-категорического умозаключения
• правильным простым категорическим силлогизмом