Садржај

• Доследно

  
  

  У класичној дедуктивној логици конзистентна теорија је она која не садржи контрадикцију. Недостатак контрадикције може се дефинисати било семантичким или синтактичким изразима. Семантичка дефиниција каже да је теорија конзистентна ако и само ако има модел, тј. Постоји интерпретација под којом су све формуле у теорији истините. То је смисао који се користи у традиционалној аристотеловској логици, мада се у савременој математичкој логици користи термин задовољавајући. Синтактичка дефиниција наводи да је теорија Т { дисплаистиле Т} конзистентна ако и само ако не постоји формула φ { дисплаистиле варпхи} таква да је и φ { дисплаистиле варпхи} и њена негација ¬ φ { дисплаистиле лнот варпхи} су елементи скупа Т { дисплаистиле Т}. Нека је А { дисплаистиле А} скуп затворених реченица (неформално „аксиоми“), а⟩ А⟩ { дисплаистиле лангле А рангле} скуп затворених реченица који се могу доказати из А { дисплаистиле А} под неким (специфицирано, могуће имплицитно) формални дедуктивни систем. Скуп аксиома А { дисплаистиле А} је доследан када је ⟨А⟩ { дисплаистиле лангле А рангле}. Ако постоји дедуктивни систем за који су ове семантичке и синтактичке дефиниције еквивалентне било којој теорији формулисаној у одређеној дедукцији логика, логика се зове комплетна. Потпуност израчунавања доказа доказали су Паул Бернаис 1918. године и Емил Пост 1921. године, док је комплетност предикатног калкулуса доказао Курт Годел 1930. године, а доказе конзистентности аритметике ограничене у односу на схему индукционог аксиома доказао је Ацкерманн (1924), вон Неуманн (1927) и Хербранд (1931). Јаче логике, као што је логика другог реда, нису комплетне. Доказ конзистентности је математички доказ да је одређена теорија конзистентна. Рани развој теорије математичких доказа био је вођен жељом да се обезбеди коначна потврда конзистентности за сву математику као део Хилбертсовог програма. На Хилбертсов програм снажно су утјецале теореме о непотпуности, које су показале да довољно јаке теорије доказа не могу доказати властиту конзистентност (под условом да су оне заправо конзистентне). Иако се доследност може доказати теоријом модела, она се често врши на чисто синтактички начин, без потребе да се упућује на неки модел логике. Елиминација реза (или еквивалентно нормализација основног рачуна ако постоји) подразумева конзистентност рачунице: пошто очигледно нема прорезан доказ лажности, уопште нема контрадикције.

  
  

• Доследан (придјев)

  Од редовно насталих, поузданих природа. од краја 16. века у застарелом смислу 'састоји се од'

  "Доследна употреба Цхинглисх-а у Кини може бити веома неугодна, осим неких почетних забавних ствари."

  "Веома је доследан у својим политичким изборима: економија добра или лоша, увек гласа Лабуристи!"

• Доследан (придјев)

  Компатибилно, хармонично.

• Доследан (придјев)

  Од низа изјава: таквих да из њих не произилази никаква противречност.

• Доследан (именица)

  Предмети или чињенице који коегзистирају или су у сагласности једни са другима.

• Доследан (именица)

  Нека врста покајника коме је било дозвољено помагати дозвољеним за примање светих сакрамената.

• Цонсистент (ноун)

  Физички квалитет који се даје степеном чврстоће, чврстоће, густине и вискозности; конзистентност.

• Цонсистент (ноун)

  
  

  Остати заједно или остати у блиској вези са нефизичким стварима.

  "Њеном наступу је недостајала доследност током прошле године."

  "Ово музичко дело композитора је изванредне конзистентности."

• Цонсистент (ноун)

  Непомично стоји; мировање; стање мировања.

• Цонсистент (ноун)

  Услов да стоје или се држе заједно или да су учвршћени у заједници као делови тела; постојање; чврстина; повезаност; чврстина.

• Цонсистент (ноун)

  Оно што стоји заједно као јединствена целина; комбинација.

• Доследан (придјев)

  Посједовање чврстоће или непокретности; фирма; тврдо; чврст.

• Доследан (придјев)

  Договорени са собом или са нечим другим; имају хармонију међу њеним деловима; поседује јединство; хармоника; складан; конгрузан; компатибилан; униформи; није контрадикторна.

• Доследан (придјев)

  Живјети или се понашати у складу са оним веровањем или професијама.

• Цонсистент (ноун)

  Услов да стоје или се држе заједно или да су учвршћени у заједници као делови тела; постојање; чврстина; повезаност; чврстина.

• Цонсистент (ноун)

  Степен чврстоће, густине, вискозности или шљокице; мерило способности држања заједно када се манипулише.

• Цонсистент (ноун)

  Оно што стоји заједно као јединствена целина; комбинација.

• Цонсистент (ноун)

  Чврстина устава или карактера; супстанцијалност; трајност; упорност.

• Цонсистент (ноун)

  Сагласност или хармонија свих делова сложене ствари међу собом или исте ствари са собом у различитом времену; хармонија понашања са професијом; конгруитет; преписка; као, доследност закона, прописа или судских одлука; доследност мишљења; доследност понашања или карактера.

• Доследан (придјев)

  (понекад праћено са са) у договору или доследно или поуздано;

  "сведочење у складу са познатим чињеницама"

  "Одлучио сам да је начин понашања који следим у складу са мојим осећајем одговорности за председника у време рата"

• Доследан (придјев)

  обележен уредним, логичким и естетски конзистентним односом делова;

  "логичан аргумент"

  "уредно представљање"

• Доследан (придјев)

  способна да се репродукује;

  „могу се добити запањујуће поновљиви резултати“

• Доследан (придјев)

  исти у структури или саставу;

  "битуминозни угаљ се често третира као конзистентан и хомоген производ"

• Цонсистент (ноун)

  хармонична уједначеност или договор између ствари или делова

• Цонсистент (ноун)

  својство спајања и задржавања облика;

  "када тесто добије довољно конзистенције, спремно је за печење"