Saturs

• Konsekvents

  
  

  Klasiskajā deduktīvajā loģikā konsekventa teorija ir tā, kas nesatur pretrunas. Pretrunu trūkumu var definēt gan semantiskā, gan sintaktiskā izteiksmē. Semantiskā definīcija nosaka, ka teorija ir konsekventa tikai tad, ja tai ir modelis, t.i., pastāv interpretācija, saskaņā ar kuru visas teorijas formulas ir patiesas. Šī ir jēga, kas izmantota tradicionālajā aristoteliešu loģikā, lai gan mūsdienu matemātiskajā loģikā to vietā tiek lietots termins apmierinošs. Sintaktiskajā definīcijā teikts, ka teorija T { displaystyle T} ir konsekventa tikai un vienīgi tad, ja nav formulas φ { displaystyle varphi}, piemēram, gan φ { displaystyle varphi}, gan tās noliegums ¬ φ { displaystyle lnot varphi} ir kopas T { displaystyle T} elementi. Ļaujiet A { displaystyle A} būt slēgtu teikumu (neoficiāli "aksiomu") kopums un ⟨A⟩ { displaystyle langle A rangle} slēgtu teikumu kopums, ko var pārvērst no A { displaystyle A} zem dažiem (norādītajiem, iespējams, netieši) formālā deduktīvā sistēma. Aksiomu kopums A { displaystyle A} ir konsekvents, ja ⟨A⟩ { displaystyle langle A rangle} ir. Ja eksistē deduktīva sistēma, kurai šīs semantiskās un sintaktiskās definīcijas ir līdzvērtīgas jebkurai teorijai, kas formulēta konkrētā deduktīvā loģika, loģiku sauc par pilnīgu. Sentento aprēķinu pilnīgumu pierādīja Pols Bernaiss 1918. gadā un Emīls Post 1921. gadā, savukārt predikatīvo aprēķinu pilnīgumu pierādīja Kurts Gēdels 1930. gadā, bet aritmētikas konsekvences pierādījumus, kas ierobežoti attiecībā uz indukcijas aksiomu shēmu, pierādīja Ackermans. (1924), fon Neimans (1927) un Herbrand (1931). Spēcīgāka loģika, piemēram, otrās kārtas loģika, nav pilnīga. Konsekvences pierādījums ir matemātisks pierādījums tam, ka konkrēta teorija ir konsekventa. Matemātisko pierādījumu teorijas agrīno attīstību veicināja vēlme nodrošināt Hilberta programmas ietvaros visas matemātikas pilnīgas konsekvences pierādījumus. Hilberta programmu spēcīgi ietekmēja nepabeigtības teorēmas, kas parādīja, ka pietiekami spēcīgas pierādījumu teorijas nevar pierādīt savu konsekvenci (ar nosacījumu, ka tās faktiski ir konsekventas). Lai gan konsekvenci var pierādīt ar modeļa teorijas palīdzību, to bieži veic tīri sintaktiskā veidā, bez vajadzības atsaukties uz kādu loģikas modeli. Griezuma novēršana (vai līdzvērtīgi pamata aprēķina normalizēšana, ja tāds ir) nozīmē aprēķina konsekvenci: tā kā acīmredzami nav bez maldības pierādījumu par nepatiesību, vispār nav pretrunu.

  
  

• Consistent (īpašības vārds)

  konsekventa kļūdaina kļūda

• Konsekvents (īpašības vārds)

  Parasti sastopams, uzticams. no 16. gs. beigām novecojušā nozīmē 'sastāv no'

  "Pastāvīga Chinglish lietošana Ķīnā var būt ļoti kaitinoša, izņemot dažas sākotnējās izklaides."

  "Viņš ir ļoti konsekvents savās politiskajās izvēlēs: ekonomika laba vai slikta, viņš vienmēr balso par leiboristiem!"

• Konsekvents (īpašības vārds)

  Savietojams, atbilstošs.

• Konsekvents (īpašības vārds)

  No paziņojumu kopuma: tāds, ka no tiem loģiski neizriet nekādas pretrunas.

• Konsekvents (lietvārds)

  Objekti vai fakti, kas pastāv līdzās vai ir savstarpēji saskaņoti.

• Konsekvents (lietvārds)

  Veidam grēku nožēlas, kurai bija atļauts palīdzēt, atļaujot saņemt svētos sakramentus.

• Konsekvents (īpašības vārds)

  Kam ir stingrība vai nekustīgums; stingrs; grūti; ciets.

  
  

• Konsekvents (īpašības vārds)

  Vienojoties ar sevi vai ar kaut ko citu; harmonija starp tās daļām; kam ir vienotība; ekvivalents; harmonisks; sapriecīgs; saderīgs; formas tērps; nav pretrunīgi.

• Konsekvents (īpašības vārds)

  Dzīvo vai rīkojas saskaņā ar savu pārliecību vai profesijām.

• Konsekvents (īpašības vārds)

  (dažreiz seko "ar") vienojoties vai konsekventi vai uzticami;

  "liecība atbilst zināmajiem faktiem"

  "Esmu nolēmis, ka manis ievērotā rīcība atbilst manai prezidenta atbildības sajūtai kara laikā"

• Konsekvents (īpašības vārds)

  apzīmētas ar sakārtotu, loģisku un estētiski konsekventu detaļu saistību;

  "loģisks arguments"

  "sakārtota prezentācija"

• Konsekvents (īpašības vārds)

  var reproducēt;

  "var iegūt pārsteidzoši atkārtojamus rezultātus"

• Konsekvents (īpašības vārds)

  visā struktūrā vai sastāvā tas pats;

  "bitumenogles bieži uzskata par konsekventu un viendabīgu produktu"