Що означає modus ponens?

Де і як уживається

Латиною «модус, що стверджує». Парне правило modus tollens: із «Якщо P, то Q» та «не Q» випливає «не P». Типова помилка — плутати їх із невалідним ствердженням наслідку.

Приклади речень

1. If it rained, the street is wet; it rained; so the street is wet. That's modus ponens.

   Якщо дощило, вулиця мокра; дощило; отже вулиця мокра. Це модус поненс.

   Істинність передумови умовного твердження дозволяє вивести наслідок.

2. As the saying goes, one philosopher's modus ponens is another's modus tollens.

   Як кажуть, модус поненс одного філософа — модус толенс іншого.

   Один приймає наслідок із підстави, інший відкидає підставу через неприйнятність наслідку.

Поширені словосполучення

• modus tollens
• rule of inference
• affirming the consequent
• apply modus ponens