Что значит 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.

   Если шёл дождь, улица мокрая; шёл дождь; значит, улица мокрая. Это модус поненс.

   Утверждается условие P, поэтому по правилу можно вывести следствие Q.

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

   Как говорится, modus ponens одного философа — это modus tollens другого.

   Ироничная фраза обыгрывает два разных, но связанных правила вывода.

Распространённые словосочетания

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