Модус поненс: Разлика между версии
Изтрито е съдържание Добавено е съдържание
LordBumbury (беседа | приноси) м интервал преди запетая |
|||
Ред 1:
'''Модус поненс''' (''Modus ponens'', съкратено от ''Modus ponendo ponens'') е [[правило за извод]] в [[класическа логика|класическата логика]], което гласи: ''Ако е вярно [[съждение]]то '''P → Q''' и е вярно съждението '''P''', то е вярно '''Q'''''.
Прието е да се означава: <math>P \rightarrow Q
<math>
\begin{array}{c} \\
| |||