Turinys

• Nuoseklus

  
  

  Klasikinėje dedukcinėje logikoje nuosekli teorija yra ta, kurioje nėra prieštaravimų. Prieštaravimo nebuvimą galima apibrėžti semantine arba sintaksine prasmėmis. Semantinis apibrėžimas teigia, kad teorija yra nuosekli tik tada, kai ji turi modelį, t. Y. Egzistuoja aiškinimas, pagal kurį visos teorijos formulės yra tikros. Tai prasmė, naudojama tradicinėje aristotelio logikoje, nors šiuolaikinėje matematinėje logikoje vietoj jos vartojamas terminas patenkinamas. Sintaksiniame apibrėžime teigiama, kad teorija T { displaystyle T} yra nuosekli tik tada, kai nėra formulės φ { displaystyle varphi} tokios, kad ir both { displaystyle varphi}, ir jos neigimas ¬ φ { displaystyle lnot varphi} yra rinkinio T { displaystyle T} elementai. Tegul A { displaystyle A} yra uždarų sakinių (neoficialiai „aksiomų“) rinkinys ir ⟨A⟩ { displaystyle langle A rangle} uždarojo sakinio rinkinys, kurį galima parodyti iš A { displaystyle A} pagal keletą (nurodytų, galbūt netiesiogiai) formali dedukcinė sistema. Aksiomų rinkinys A { displaystyle A} yra nuoseklus, kai ⟨A⟩ { displaystyle langle A rangle} yra. Jei egzistuoja dedukcinė sistema, kuriai šie semantiniai ir sintaksiniai apibrėžimai yra lygiaverčiai bet kuriai teorijai, suformuluotai tam tikrame deduktyviame. logika, logika vadinama baigta. Sentencinio skaičiavimo išsamumą įrodė Paulius Bernaysas 1918 m. Ir Emilis Postas 1921 m., O predikatinio skaičiavimo išsamumą įrodė Kurtas Gödelis 1930 m., O aritmetikos nuoseklumo įrodymai, ribojami indukcijos aksiomos schemos atžvilgiu, įrodė Ackermann. (1924), von Neumanno (1927) ir Herbrando (1931). Tvirtesnė logika, tokia kaip antros eilės logika, nėra išsami. Nuoseklumo įrodymas yra matematinis įrodymas, kad tam tikra teorija yra nuosekli. Ankstyvą matematinių įrodymų teorijos vystymąsi paskatino noras pateikti visos matematikos baigtinius nuoseklumo įrodymus kaip Hilberts programos dalį. Hilbertso programai didelę įtaką darė neišsamumo teoremos, kurios parodė, kad pakankamai stiprios įrodymo teorijos negali įrodyti savo nuoseklumo (jei jos iš tikrųjų yra nuoseklios). Nors nuoseklumą galima įrodyti pasitelkiant modelio teoriją, dažnai tai daroma grynai sintaksiniu būdu ir nereikia nurodyti kokio nors loginio modelio. Pašalinimas (arba lygiaverčiai pagrindinio skaičiavimo normalizavimas, jei toks yra) reiškia, kad skaičiavimas yra nuoseklus: kadangi akivaizdžiai nėra supjaustyto melagingumo įrodymų, prieštaravimų apskritai nėra.

  
  

• Konsistentas (būdvardis)

  klaidingas nuoseklumas

• Nuoseklus (būdvardis)

  Paprastai pasitaikantis, patikimas. nuo XVI a. pabaigos pasenusia prasme 'susidedantis'

  „Nuolatinis„ Chinglish “vartojimas Kinijoje gali būti labai erzinantis, išskyrus kai kuriuos pradinius pasilinksminimus“.

  "Jis labai nuosekliai pasirenka savo politinius sprendimus: ekonomika gera ar bloga, jis visada balsuoja už leiboristus!"

• Nuoseklus (būdvardis)

  Suderinamas, suderinamas.

• Nuoseklus (būdvardis)

  Iš teiginių rinkinio: tokio, kad iš jų logiškai neišeitų prieštaravimų.

• Pastovus (daiktavardis)

  Objektai ar faktai, kurie egzistuoja kartu arba yra suderinami tarpusavyje.

• Pastovus (daiktavardis)

  Atgailos rūšis, kuriai buvo leista padėti, leido priimti šventus sakramentus.

• Nuoseklus (būdvardis)

  Turintys tvirtumą ar tvirtumą; firma; sunku; kietas.

  
  

• Nuoseklus (būdvardis)

  Susitarimas su savimi ar su kuo nors kitu; harmonija tarp jo dalių; turintis vienybę; pagalbininkas; harmoningas; geidulingas; suderinamas; uniforma; neginčijama.

• Nuoseklus (būdvardis)

  Gyvenimas ar elgesys pagal savo įsitikinimus ar profesijas.

• Nuoseklus (būdvardis)

  (kartais seka „su“) susitarus arba nuosekliai ar patikimai;

  "parodymai atitinka žinomus faktus"

  "Aš nusprendžiau, kad mano elgesys, kurį stebiu, atitinka mano, kaip prezidento, atsakomybės jausmą karo metu"

• Nuoseklus (būdvardis)

  pažymėtas tvarkingu, logišku ir estetišku dalių santykiu;

  "logiškas argumentas"

  "tvarkingas pristatymas"

• Nuoseklus (būdvardis)

  gali būti dauginamos;

  "galima gauti nuostabiai atkuriamus rezultatus"

• Nuoseklus (būdvardis)

  tas pats visoje struktūroje ar kompozicijoje;

  "bituminės akmens anglys dažnai traktuojamos kaip vientisas ir vienalytis produktas"