Садржај

• Доследно

  
  

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

  
  

• Саветник (придјев)

  погрешно правописно правописно

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  
  

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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