Diferència entre revisions de la pàgina «Consistent»
De Wikisofia
m (Text de reemplaçament - " la hi " a " se la ") |
m (bot: - ''trivial''. Veure [[consistència|cons + ''trivial''. Vegeu [[consistència|cons) |
||
| (Hi ha una revisió intermèdia del mateix usuari que no es mostren) | |||
| Línia 4: | Línia 4: | ||
Afirmat d'un conjunt d'[[enunciat|enunciats]], significa la impossibilitat de deduir d'ells una [[contradicció|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|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órmula|fórmules]], significa que no qualsevol fórmula és [[deduïble|deduïble]] de dita conjunta. | Afirmat d'un conjunt d'[[enunciat|enunciats]], significa la impossibilitat de deduir d'ells una [[contradicció|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|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órmula|fórmules]], significa que no qualsevol fórmula és [[deduïble|deduïble]] de dita conjunta. | ||
| − | Una teoria és consistent si no conté un enunciat i la seva negació; si conté qualsevol enunciat se la considera ''trivial''. | + | Una teoria és consistent si no conté un enunciat i la seva negació; si conté qualsevol enunciat, se la considera ''trivial''. |
| − | + | Vegeu [[consistència|consistència]]. | |
{{Etiqueta | {{Etiqueta | ||
Revisió de 22:34, 17 maig 2018
(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, se la considera trivial.
Vegeu consistència.