Modus ponens: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 1:
'''Modus ponens''' — [[правило вывода]], устанавливающее, что если <math>\cal A</math> и <math>
Формы записи: <math>\tfrac{A,\; A \longrightarrow B}{B}</math>, а также <math>\cal A,\,\cal A\longrightarrow \cal B\vdash\cal B</math>, где <math>\cal A</math>, <math>\cal B</math> — любые формулы.
Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим [[Категорический силлогизм|силлогизмом]], позволяет от утверждения условного высказывания <math>A \to B</math> и утверждения его основания <math>A</math> (антецедента) перейти к утверждению следствия <math>B</math> (консеквента). Например, металлы — проводники тока (если вещество металл, то оно проводник), цинк — металл, значит цинк проводит ток. Обратное утверждение не всегда верно: никель и морская вода проводят ток, но никель — металл, а морская вода не металл. Итого, если из <math>A</math> следует <math>B</math>, и <math>B</math> — истинно, то <math>A</math> может быть как истинно, так и ложно.
| |||