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