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

Modus ponens

Index Modus ponens

#виж Модус поненс.

1 връзка: Модус поненс.

Модус поненс

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

New!!: Modus ponens и Модус поненс · Виж повече »

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