Logo
Юнионпедия
Съобщение
Предлага се в Google Play
New! Свали Юнионпедия на вашия Android ™!
Безплатно
По-бързо от браузъра!
 

Модус поненс

Index Модус поненс

Модус поненс (modus ponens, съкратено от modus ponendo ponens) е правило за извод в класическата логика, което гласи: Ако е вярно съждението P → Q и е вярно съждението P, то е вярно Q. Прието е да се означава: P \rightarrow Q, P \vdash Q или \begin \\ P \rightarrow Q, P\\ \hline Q \\ \end.

0 отношения.

ИзходящIncoming
Хей! Ние сме на Facebook сега! »