Accions

Diferència entre revisions de la pàgina «Completesa»

De Wikisofia

(Es crea la pàgina amb «{{ConcepteWiki}} La propietat d'un sistema formal per la qual es diu complet si tot enunciat lògicament veritable per al sistema és...».)
 
m (Text de reemplaçament - "completud" a "completesa")
 
(Hi ha una revisió intermèdia del mateix usuari que no es mostren)
Línia 1: Línia 1:
 
{{ConcepteWiki}}
 
{{ConcepteWiki}}
La propietat d'un [[sistema formal|sistema formal]] per la qual es diu complet si tot [[enunciat|enunciat]] lògicament veritable per al sistema és també deduïble dels seus [[axioma|axiomes]] (completud denominada ''feble)''. Segons el teorema de [[Autor:Gödel, Kurt|Gödel]], la [[lògica|lògica d'enunciats]] i [[lògica|lògica de predicats]] (de primer ordre) són completes en sentit feble.
+
La propietat d'un [[sistema formal|sistema formal]] per la qual es diu complet si tot [[enunciat|enunciat]] lògicament veritable per al sistema és també deduïble dels seus [[axioma|axiomes]] (completesa denominada ''feble)''. Segons el teorema de [[Autor:Gödel, Kurt|Gödel]], la [[lògica|lògica d'enunciats]] i [[lògica|lògica de predicats]] (de primer ordre) són completes en sentit feble.
 
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}}
 
{{Etiqueta|Etiqueta=Lògica}}{{InfoWiki}}

Revisió de 19:30, 21 març 2015

La propietat d'un sistema formal per la qual es diu complet si tot enunciat lògicament veritable per al sistema és també deduïble dels seus axiomes (completesa denominada feble). Segons el teorema de Gödel, la lògica d'enunciats i lògica de predicats (de primer ordre) són completes en sentit feble.