Наприклад, контрапозитив для твердження «Якщо P, то Q» є «Якщо не Q, то не P». Modus tollens підтверджує контрапозитив, демонструючи, що «не P» логічно випливає з «не Q» таким чином: Якщо P, то Q. Не Q.3 травня 2024 р

Приклад аргументу, який відповідає формі modus ponens: Якщо сьогодні вівторок, то Іван піде на роботу. Сьогодні вівторок. Тому Джон піде на роботу.

Відповідь і пояснення"Якщо буде дощ, то земля буде вологою. Дощу не було. Тому земля не розмокла." Modus Tollens – це логічний аргумент, який використовує форму "Якщо A, то B.

По-друге, це modus ponens і modus tollens універсально розглядаються як дійсні форми аргументації. Достовірний аргумент – це той, в якому передумови повністю підтверджують висновок. Якщо говорити більш формально, дійсний аргумент має таку важливу особливість: необхідно, щоб якщо посилки істинні, то і висновок істинний.

Modus tollens важливий у причинному висновку та частотному висновку (індукція на основі моделі), зокрема, оскільки він описує логіку перевірки гіпотези.

Наприклад, якщо у вас є твердження «Якщо йде дощ, то вулиці мокрі» і ви знаєте, що вулиці не мокрі, то ви можете зробити висновок, що дощ не йде. Modus tollens також є правильною формою міркування, що означає, що якщо посилки істинні, висновок також має бути істинним.