Sadržaj

• dosljedan

  
  

  U klasičnoj deduktivnoj logici konzistentna teorija je ona koja ne sadrži kontradikciju. Manjak kontradikcije može se definirati bilo semantički ili sintaktički. Semantička definicija kaže da je teorija dosljedna ako i samo ako ima model, tj. Postoji interpretacija pod kojom su sve formule u teoriji istinite. To je smisao koji se koristi u tradicionalnoj aristotelovskoj logici, mada se u suvremenoj matematičkoj logici koristi naziv zadovoljavajući. Sintaktička definicija navodi da je teorija T { displaystyle T} konzistentna ako i samo ako ne postoji formula φ { displaystyle varphi} takva da su i φ { displaystyle varphi} i njena negacija ¬ φ { displaystyle lnot varphi} su elementi skupa T { displaystyle T}. Neka je A { displaystyle A} skup zatvorenih rečenica (neformalno "aksiomi"), a⟩ A⟩ { displaystyle langle A rangle} skup zatvorenih rečenica koji se mogu dokazati iz A { displaystyle A} pod nekim (specificirano, moguće implicitno) formalni deduktivni sustav. Skup aksioma A { displaystyle A} je dosljedan kada je ⟨A⟩ { displaystyle langle A rangle}. Ako postoji deduktivni sustav za koji su ove semantičke i sintaktičke definicije jednake za svaku teoriju formuliranu u određenoj dedukciji logika, logika se zove potpuna. Potpunost proračuna osjeta dokazali su Paul Bernays 1918. i Emil Post 1921. godine, dok je cjelovitost predikatnog kalkulusa dokazao Kurt Gödel 1930. godine, a postojanost aritmetike ograničene u odnosu na shemu indukcijskog aksioma dokazao je Ackermann (1924), von Neumann (1927) i Herbrand (1931). Jače logike, poput logike drugog reda, nisu potpune. Dokaz konzistentnosti matematički je dokaz da je određena teorija konzistentna. Rani razvoj matematičke teorije dokaza bio je vođen željom za pružanjem konačnih dokaza dosljednosti za svu matematiku kao dio Hilbertsovog programa. Na Hilbertsov program snažno su utjecali teoremi o nepotpunosti, koji su pokazali da dovoljno jake dokazne teorije ne mogu dokazati vlastitu dosljednost (pod uvjetom da su one zapravo konzistentne). Iako se dosljednost može dokazati teorijom modela, često se to čini na potpuno sintaktički način, bez potrebe za referencama na neki logički model. Eliminacija reza (ili ekvivalentno normalizacija temeljnog računa ako postoji) podrazumijeva konzistentnost računice: budući da očigledno ne postoji dokaz neistinitosti, nema općenitosti proturječnosti.

  
  

• Savjetnik (pridjev)

  pravopisno pravopisno

• Dosljedan (pridjev)

  Od redovito prisutne, pouzdane prirode. s kraja 16. st. u zastarjelom smislu 'sastoji se od'

  "Dosljedna upotreba Chinglish-a u Kini može biti vrlo neugodna, osim nekih početnih zabava."

  "Vrlo je dosljedan u svojim političkim izborima: gospodarstvo je dobro ili loše. Uvijek glasa za rad!"

• Dosljedan (pridjev)

  Kompatibilno, harmonično.

• Dosljedan (pridjev)

  Od niza izjava: takvih da logično ne slijedi proturječnost.

• Dosljedna (imenica)

  Predmeti ili činjenice koji koegzistiraju ili su u međusobnom dogovoru.

• Dosljedna (imenica)

  Neka vrsta pokajnice kojoj je bilo dopušteno pomagati pri dopuštanju primanja svetih sakramenata.

• Dosljedan (pridjev)

  Posjedovanje čvrstoće ili postojanosti; firma; teško; krutina.

• Dosljedan (pridjev)

  
  

  Dogovoreni sa sobom ili sa nečim drugim; sklad između njegovih dijelova; posjedovanje jedinstva; pripadnim; skladan; podudaraju; kompatibilan; ujednačena; nije kontradiktorna.

• Dosljedan (pridjev)

  Živjeti ili djelovati u skladu s vlastitim uvjerenjima ili profesijama.

• Dosljedan (pridjev)

  (ponekad slijedi `s) u dogovoru ili dosljedno ili pouzdano;

  "svjedočenje u skladu s poznatim činjenicama"

  "Odlučio sam da je način ponašanja koji slijedim u skladu s mojim osjećajem odgovornosti kao predsjednika u vrijeme rata"

• Dosljedan (pridjev)

  obilježen urednim, logičnim i estetski konzistentnim odnosom dijelova;

  "logičan argument"

  "uredno predstavljanje"

• Dosljedan (pridjev)

  sposobna da se reproducira;

  "mogu se dobiti iznenađujuće ponovljivi rezultati"

• Dosljedan (pridjev)

  isti u strukturi ili sastavu;

  "bituminozni ugljen se često tretira kao konzistentan i homogen proizvod"