Модус поненс (modus ponens, съкратено от modus ponendo ponens) е правило за извод в класическата логика, което гласи: Ако е вярно съждението P → Q и е вярно съждението P, то е вярно Q.
Прието е да се означава: или .
Доказателство Валидността на модус поненс в класическата (двузначна) логика лесно се демонстрира с таблица на верностните стойности: P Q P → Q 0 0 1 0 1 1 1 0 0 1 1 1
Пример Ако днес е вторник, то ще ходя на работа. Днес е вторник. Следователно, ще ходя на работа.
Вижте също Модус толенс Модус понендо толенс Модус толендо поненс
Категория:Математическа логика