Правило висновування: відмінності між версіями

Цей вираз стверджує, що кожного разу, коли у ході якогось логічного висновування отримуються дані передумови, то вказаний висновок може також братися до припущення. Точна [[формальна мова]], що використовується для опису як передумов, так і висновків, залежить від фактичного контексту висновувань. У простому випадку можуть використовуватися логічні формули, такі як у

Може здаватися зайвим мати два поняття висновування у цьому випадку, ⊢ та →. У класичній логіці висловлень вони дійсно збігаються; [[Теорема про дедукцію|теорема дедукції]] свідчить, що ''A'' ⊢ ''B'' [[тоді й лише тоді]], коли ⊢ ''A'' → ''B''. Проте навіть у цьому випадку існує варта уваги відмінність: перший запис описує [[Дедукція|дедукцію]], що є діяльністю з переходу від виразів до виразів, тоді як ''A'' → ''B'' є просто формулою, зробленою із застосуванням [[Логічний сполучник|логічного сполучника]], в даному випадку імплікації. Без правила висновування (як ''modus ponens'' у даному випадку) немає дедукції або висновування. Цей момент ілюструється в діалозі Льюїса Керрола [[Що Черепаха сказала Ахіллові|«Що Черепаха сказала Ахіллові»]].<ref name="ChiaraDoets1996">{{cite book