Википедия

Modus ponens: различия между версиями

Интерактивная навигация по истории
[непроверенная версия][непроверенная версия]
← Предыдущая правкаСледующая правка →
Содержимое удалено Содержимое добавлено
ВизуальныйВики-текст
Нет описания правки
Нет описания правки
Строка 1:
'''Modus ponens''' (правило заключений): если АA и <math>{A \to B}</math>A→B — выводимые формулы, то B так же выводима.
 
Форма записи: <math>\frac{A, A \to B}{B}</math>, где ''A, B'' — любые формулы.
 
Источник — https://ru.wikipedia.org/wiki/Modus_ponens