Модус поненс

Шаблон:Без източници Модус поненс (modus ponens, съкратено от modus ponendo ponens) е правило за извод в класическата логика, което гласи: Ако е вярно съждението P → Q и е вярно съждението P, то е вярно Q.

Прието е да се означава: $P\to Q,P⊢Q$ или $\begin{array}{c}\\ P\to Q,P\\ Q\end{array}$.

Доказателство

Валидността на модус поненс в класическата (двузначна) логика лесно се демонстрира с таблица на верностните стойности:

P	Q	P → Q
0	0	1
0	1	1
1	0	0
1	1	1

Пример

Ако днес е вторник, то ще ходя на работа.

Днес е вторник.

Следователно, ще ходя на работа.

Вижте също

• Модус толенс
• Модус понендо толенс
• Модус толендо поненс