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 (Jorcor ha mogut Completud a Completesa) |
Revisió del 19:25, 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 (completud 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.