Obsah

• dôsledný

  
  

  V klasickej deduktívnej logike je konzistentná teória taká, ktorá neobsahuje protirečenie. Nedostatok rozporov možno definovať buď sémantickým alebo syntaktickým spôsobom. Sémantická definícia uvádza, že teória je konzistentná iba vtedy, ak má model, t. J. Existuje interpretácia, podľa ktorej sú všetky vzorce v teórii pravdivé. Toto je zmysel používaný v tradičnej aristotelskej logike, hoci v súčasnej matematickej logike sa namiesto toho používa pojem uspokojiteľný. Syntaktická definícia uvádza teóriu T { displaystyle T} je konzistentná vtedy a len vtedy, ak neexistuje vzorec φ { displaystyle varphi}, takže φ { displaystyle varphi} a jej negácia ¬ φ { displaystyle lnot varphi} sú prvky množiny T { displaystyle T}. Nech A { displaystyle A} je množina uzavretých viet (neformálne "axiómy") a ⟨A⟩ { displaystyle langle A rangle} množina uzavretých viet preukázateľných z A { displaystyle A} v rámci niektorých (špecifikovaných, formálne deduktívny systém. Súbor axiómov A { displaystyle A} je konzistentný, keď ⟨A⟩ { displaystyle langle A rangle} existuje.Ak existuje deduktívny systém, pre ktorý sú tieto sémantické a syntaktické definície ekvivalentné akejkoľvek teórii formulovanej v konkrétnej deduktívnej logika sa logika nazýva úplná. Úplnosť sentimentálneho počtu preukázali Paul Bernays v roku 1918 a Emil Post v roku 1921, zatiaľ čo úplnosť predikátového počtu dokázala Kurt Gödel v roku 1930 a dôkazy o konzistencii aritmetiky obmedzenej vzhľadom na schému indukcie axiómu preukázal Ackermann. (1924), von Neumann (1927) a Herbrand (1931). Silnejšia logika, ako napríklad logika druhého poriadku, nie je úplná. Dôkaz o konzistentnosti je matematický dôkaz, že konkrétna teória je konzistentná. Včasný vývoj teórie matematických dôkazov bol motivovaný túžbou poskytnúť dôkazy konečnej konzistencie pre celú matematiku ako súčasť programu Hilberts. Hilbertsov program bol výrazne ovplyvnený teorémami neúplnosti, ktoré ukázali, že dostatočne silné teórie dôkazov nemôžu dokázať svoju vlastnú konzistenciu (za predpokladu, že sú skutočne konzistentné). Aj keď konzistenciu je možné dokázať pomocou teórie modelov, často sa to robí čisto syntaktickým spôsobom bez toho, aby bolo potrebné odvolávať sa na nejaký model logiky. Eliminácia rezu (alebo ekvivalentná normalizácia základného počtu, ak existuje) naznačuje konzistenciu počtu: keďže zjavne neexistuje žiadny dôkaz falošnosti bez rezu, vo všeobecnosti neexistuje protirečenie.

  
  

• Konzistentné (prídavné meno)

  nesprávne napísanie dôslednosti

• Konzistentné (prídavné meno)

  Pravidelne sa vyskytujúcej spoľahlivej povahy. od konca 16. storočia c. v zastaranom zmysle „pozostávajúci z“

  „Dôsledné používanie Činglish v Číne môže byť veľmi nepríjemné, okrem počiatočného pobavenia.“

  "Je veľmi dôsledný vo svojich politických rozhodnutiach: ekonomika dobrá alebo zlá, vždy hlasuje za prácu!"

• Konzistentné (prídavné meno)

  Zlučiteľné, zhodné.

• Konzistentné (prídavné meno)

  Zo súboru tvrdení: také, že z nich logicky nevyplýva žiadny rozpor.

• Konzistentné (podstatné meno)

  Predmety alebo fakty, ktoré spolu existujú alebo sú v zhode.

  
  

• Konzistentné (podstatné meno)

  Druh kajúcnika, ktorému bolo dovolené pomáhať pri prijímaní sviatostí.

• Konzistentné (prídavné meno)

  Majú pevnosť alebo pevnosť; spevniť; hard; pevná látka.

• Konzistentné (prídavné meno)

  So súhlasom so sebou alebo s niečím iným; mať súlad medzi svojimi časťami; má jednotu; súhlasné; harmonický; zhodný; compatible; uniformná; nie protirečivé.

• Konzistentné (prídavné meno)

  Žiť alebo konať v súlade s presvedčením alebo povolaním.

• Konzistentné (prídavné meno)

  (niekedy za ktorým nasleduje „with“) po dohode alebo konzistentné alebo spoľahlivé;

  „svedectvo v súlade so známymi skutočnosťami“

  „Rozhodol som sa, že postup, ktorý sledujem, je v súlade s mojím zmyslom pre zodpovednosť ako prezident v čase vojny.“

• Konzistentné (prídavné meno)

  označené usporiadaným, logickým a esteticky konzistentným vzťahom častí;

  „logický argument“

  „riadna prezentácia“

• Konzistentné (prídavné meno)

  schopné reprodukcie;

  „možno dosiahnuť prekvapivo reprodukovateľné výsledky“

• Konzistentné (prídavné meno)

  to isté v celej štruktúre alebo zložení;

  „bitúmenové uhlie sa často považuje za konzistentný a homogénny produkt“