Diferència entre revisions de la pàgina «Completesa»
De Wikisofia
m (Jorcor ha mogut Completud a Completesa) |
m (Text de reemplaçament - "completud" a "completesa") |
||
| 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]] ( | + | 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.