Conţinut

• Consistent

  
  

  În logica deductivă clasică, o teorie consistentă este una care nu conține o contradicție. Lipsa contradicției poate fi definită fie în termeni semantici sau sintactici. Definiția semantică afirmă că o teorie este consecventă dacă și numai dacă are un model, adică există o interpretare sub care toate formulele din teorie sunt adevărate. Acesta este sensul folosit în logica aristotelică tradițională, deși în logica matematică contemporană se folosește termenul satisfăcător. Definiția sintactică afirmă că o teorie T { displaystyle T} este consecventă dacă și numai dacă nu există o formulă φ { displaystyle varphi} astfel încât atât φ { displaystyle varphi} cât și negația sa ¬ φ { displaystyle lnot varphi} sunt elemente ale setului T { displaystyle T}. Fie A { displaystyle A} un set de propoziții închise (în mod informal "axiome") și ⟨A⟩ { displaystyle langle A rangle} setul de propoziții închise care poate fi provocat de la A { displaystyle A} sub unele (specificate, posibil implicit) sistem deductiv formal. Setul de axiome A { displaystyle A} este consistent atunci când ⟨A⟩ { displaystyle langle A rangle} este. Dacă există un sistem deductiv pentru care aceste definiții semantice și sintactice sunt echivalente pentru orice teorie formulată într-o anumită deductivă logică, logica se numește completă. Completarea calculului simțial a fost dovedită de Paul Bernays în 1918 și Emil Post în 1921, în timp ce complexitatea calculului predicat a fost dovedită de Kurt Gödel în 1930, iar probele de consistență pentru aritmetică restricționate în ceea ce privește schema axiomului de inducție au fost dovedite de Ackermann (1924), von Neumann (1927) și Herbrand (1931). Logicile mai puternice, cum ar fi logica de ordinul doi, nu sunt complete. O dovadă de consecvență este o dovadă matematică că o anumită teorie este consecventă. Dezvoltarea timpurie a teoriei dovezilor matematice a fost determinată de dorința de a oferi dovezi de consistență finitară pentru toate matematicile, ca parte a programului Hilberts. Programul Hilberts a fost puternic afectat de teoreme de incompletitudine, care au arătat că teoriile de dovadă suficient de puternice nu pot dovedi propria lor consistență (cu condiția ca acestea să fie de fapt consecvente). Deși coerența poate fi dovedită prin intermediul teoriei modelelor, aceasta este adesea realizată într-un mod pur sintactic, fără a fi necesară referirea la un anumit model al logicii. Eliminarea tăierii (sau, în mod echivalent, normalizarea calculului de bază dacă există) implică consistența calculului: deoarece, evident, nu există o dovadă de falsitate fără taiere, în general nu există nicio contradicție.

  
  

• Consecvent (adjectiv)

  scriere greșită a consecventelor

• Consecvent (adjectiv)

  De natură frecventă, de încredere. de la sfârșitul sec. în sensul învechit „format din”

  „Utilizarea consecventă a Chinglish în China poate fi foarte enervantă, în afară de unele distracții inițiale”.

  "El este foarte consecvent în alegerile sale politice: economie bună sau rea, el votează întotdeauna Muncii!"

• Consecvent (adjectiv)

  Compatibil, conform acordului.

• Consecvent (adjectiv)

  Dintr-un set de enunțuri: astfel încât nici o contradicție nu rezultă logic din ele.

• Coerent (substantiv)

  Obiecte sau fapte care coexistă sau sunt de acord între ele.

• Coerent (substantiv)

  Un fel de penitent căruia i s-a permis să asiste la permisiunea de a primi sfintele sacramente.

• Consecvent (adjectiv)

  
  

  Poseda fermitate sau fixitate; firmă; greu; solid.

• Consecvent (adjectiv)

  De acord cu sine sau cu altceva; având armonie între părțile sale; posedând unitate; în armonie; armonios; potrivit; compatibil; uniformă; nu contradictorii.

• Consecvent (adjectiv)

  Trăind sau acționând în conformitate cu credințele sau profesiile.

• Consecvent (adjectiv)

  (uneori urmat de `cu) în acord sau consecvent sau de încredere;

  „mărturie în concordanță cu faptele cunoscute”

  "Am decis că cursul de conduită pe care îl urmez este în concordanță cu sentimentul responsabilității mele în calitate de președinte în timp de război"

• Consecvent (adjectiv)

  marcată de o relație ordonată, logică și coerentă din punct de vedere estetic al pieselor;

  "un argument logic"

  "prezentarea ordonată"

• Consecvent (adjectiv)

  capabil să fie reprodus;

  "se pot obține rezultate uimitor de reproductibile"

• Consecvent (adjectiv)

  la fel în structură sau compoziție;

  "cărbunele bituminos este adesea tratat ca un produs constant și omogen"