Obsah

• Konzistentní

  
  

  V klasické deduktivní logice je konzistentní teorie taková, která neobsahuje rozpor. Nedostatek rozporů lze definovat buď sémantickým nebo syntaktickým způsobem. Sémantická definice uvádí, že teorie je konzistentní pouze tehdy, má-li model, tj. Existuje interpretace, podle níž jsou všechny vzorce v teorii pravdivé. Toto je smysl používaný v tradiční aristotelské logice, ačkoli v současné matematické logice se místo toho používá termín uspokojitelný. Syntaktická definice uvádí teorii T { displaystyle T} je konzistentní pouze tehdy, pokud neexistuje vzorec φ { displaystyle varphi}, takže φ { displaystyle varphi} a její negace ¬ φ { displaystyle lnot varphi} jsou prvky množiny T { displaystyle T}. Nechť A { displaystyle A} je množina uzavřených vět (neformálně "axiómů") a ⟨A⟩ { displaystyle langle A rangle} množina uzavřených vět, které lze prokázat z A { displaystyle A} pod některými (specifikovanými, možná implicitně) formální deduktivní systém. Množina axiomů A { displaystyle A} je konzistentní, když ⟨A⟩ { displaystyle langle A rangle} existuje. Pokud existuje deduktivní systém, pro který jsou tyto sémantické a syntaktické definice ekvivalentní jakékoli teorii formulované v konkrétní deduktivní logika, logika se nazývá kompletní. Úplnost sentimentálního počtu byla prokázána Paulem Bernaysem v roce 1918 a Emilem Postem v roce 1921, zatímco úplnost predikátového počtu byla prokázána Kurtem Gödelem v roce 1930 a důkazy o konzistenci aritmetiky omezené s ohledem na schéma indukční axiomy byly prokázány Ackermannem (1924), von Neumann (1927) a Herbrand (1931). Silnější logika, jako je logika druhého řádu, není úplná. Důkaz konzistence je matematický důkaz, že konkrétní teorie je konzistentní. Včasný vývoj teorie matematických důkazů byl veden touhou poskytovat důkazům o finální konzistenci pro celou matematiku jako součást programu Hilberts. Hilberts program byl silně ovlivněn věty o neúplnosti, které ukázaly, že dostatečně silné teorie důkazů nemohou prokázat svou vlastní konzistenci (za předpokladu, že jsou ve skutečnosti konzistentní). Ačkoli konzistenci lze dokázat pomocí teorie modelů, často se provádí čistě syntakticky, aniž by bylo nutné odkazovat na nějaký model logiky. Eliminace řezu (nebo ekvivalentní normalizace základního počtu, pokud existuje) implikuje konzistenci počtu: protože zjevně neexistuje žádný důkaz o falešnosti bez ořezu, nedochází obecně k rozporu.

  
  

• Konzistentní (přídavné jméno)

  pravopisná chyba

• Konzistentní (přídavné jméno)

  Pravidelně se vyskytující, spolehlivé povahy. od konce 16. c. v zastaralém smyslu „sestávající z“

  "Důsledné používání Činglish v Číně může být velmi nepříjemné, kromě nějakého počátečního pobavení."

  "Ve svých politických volbách je velmi důsledný: ekonomika dobrá nebo špatná, vždy volí Labor!"

• Konzistentní (přídavné jméno)

  Kompatibilní, shodné.

• Konzistentní (přídavné jméno)

  Soubor prohlášení: takový, že z nich logicky nevyplývá žádný rozpor.

• Konzistentní (podstatné jméno)

  Předměty nebo fakta, která existují, nebo po vzájemné dohodě.

  
  

• Konzistentní (podstatné jméno)

  Jaký druh kajícníka, kterému bylo umožněno asistovat při přijímání svatých svátostí.

• Konzistentní (přídavné jméno)

  Mají pevnost nebo pevnost; firma; tvrdý; pevný.

• Konzistentní (přídavné jméno)

  Po dohodě se sebou nebo s něčím jiným; mít harmonii mezi svými částmi; má jednotu; akordeon; harmonický; shodný; kompatibilní; jednotný; není v rozporu.

• Konzistentní (přídavné jméno)

  Žít nebo jednat v souladu s vírou nebo profesí.

• Konzistentní (přídavné jméno)

  (někdy následuje `s) po dohodě nebo konzistentní nebo spolehlivé;

  „svědectví v souladu se známými fakty“

  "Rozhodl jsem se, že průběh jednání, který sleduji, je v souladu s mým smyslem pro odpovědnost jako prezident v době války"

• Konzistentní (přídavné jméno)

  vyznačené uspořádaným, logickým a esteticky konzistentním vztahem částí;

  "logický argument"

  "řádná prezentace"

• Konzistentní (přídavné jméno)

  schopné reprodukce;

  „lze dosáhnout úžasně reprodukovatelných výsledků“

• Konzistentní (přídavné jméno)

  totéž v celé struktuře nebo složení;

  „asfaltové uhlí je často považováno za konzistentní a homogenní produkt“