Modus ponens

Материал из Википедии — свободной энциклопедии

Перейти к: навигация, поиск

Modus ponens — правило вывода в исчислении высказываний. Является частным случаем правила резолюций.

Форма записи: \frac{A, A \to B}{B}, где A, B — любые формулы.

[править] См. также

Источник — «http://ru.wikipedia.org/wiki/Modus_ponens»