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