- Modus ponens
-
Modus ponens («правило вывода»): если A и A→B — выводимые формулы, то B также выводима.
Форма записи: , где A, B — любые формулы.
Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от утверждения условного высказывания и утверждения его основания (антецедента) перейти к утверждению следствия (консеквента). Например, металлы — проводники тока (если вещество металл, то оно проводник), цинк — металл, значит цинк проводит ток. Обратное утверждение не всегда верно: никель и морская вода проводят ток, но никель — металл, а морская вода не металл.
Modus ponens — правило вывода в исчислении высказываний. Является частным случаем правила резолюций.
См. также
- Modus tollens
- Латинские логические выражения
- Дедуктивное умозаключение
Категории:- Логика
- Латинские фразы и выражения
Wikimedia Foundation. 2010.