Modus ponens
правило вывода в исчислении высказываний Из Википедии, свободной энциклопедии
правило вывода в исчислении высказываний Из Википедии, свободной энциклопедии
Modus ponens («правило вывода»): если и — выводимые формулы, то также выводима.
Форма записи: , где — любые формулы.
Правило вывода модус поненс, обычно называемое правилом отделения или гипотетическим силлогизмом, позволяет от утверждения условного высказывания и утверждения его основания (антецедента) перейти к утверждению следствия (консеквента). Например, если нечто является металлом, то оно проводит ток (), цинк является металлом (), значит, цинк проводит ток (). Обратное утверждение не всегда верно: никель и морская вода проводят ток, но никель — металл, а морская вода не металл. Итого, если из следует , и — истинно, то может быть как истинно, так и ложно.
Modus ponens — правило вывода в исчислении высказываний. Является частным случаем правила резолюций.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.