Consistent
De Wikisofia
La revisió el 01:00, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} <small>(del llatí ''cum, ''amb i ''sistere,'' situar-se amb o establir-se conjuntament)</small> Afirmat d'un conjunt d'enunciats, si...».)
La revisió el 01:00, 5 feb 2015 per Sofibot (discussió | contribucions) (Es crea la pàgina amb «{{ConcepteWiki}} <small>(del llatí ''cum, ''amb i ''sistere,'' situar-se amb o establir-se conjuntament)</small> Afirmat d'un conjunt d'enunciats, si...».)
(del llatí cum, amb i sistere, situar-se amb o establir-se conjuntament)
Afirmat d'un conjunt d'enunciats, significa la impossibilitat de deduir d'ells una contradicció. Afirmat d'un parell d'enunciats comparats entre si, significa la possibilitat que tots dos siguin veritables al mateix temps. Afirmat d'un sistema axiomàtic, propietat per la qual del conjunt d'axiomes no pot deduir-se un teorema i la seva contradicció. Afirmat d'un conjunt de fórmules, significa que no qualsevol fórmula és deduïble de dita conjunta.
Una teoria és consistent si no conté un enunciat i la seva negació; si conté qualsevol enunciat la hi considera trivial.
Veure consistència.