Работим за възстановяване на приложението Unionpedia в Google Play Store
ИзходящIncoming
🌟Упростихме нашия дизайн за по-добра навигация!
Instagram Facebook X LinkedIn

Modus ponens

Index Modus ponens

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

Съдържание

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

Модус поненс

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

Виж Modus ponens и Модус поненс