Modus ponens: различия между версиями
[отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 1:
'''Modus ponens (по Ашихмину)''' («правило вывода»): если <math>A</math> и <math>A \to B</math> — выводимые формулы, то <math>B</math> также выводима.
Форма записи: <math>\tfrac{A\;\; (A \to B)}{B}</math>, где <math>A, B</math> — любые формулы.
|