Diferència entre revisions de la pàgina «Inconsistència»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Referida als sistemes formals, la característica defectiva que fa que sigui possible deduir d'ells un teorema i el...».) |
|||
| (Hi ha una revisió intermèdia del mateix usuari que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{ConcepteWiki}} | {{ConcepteWiki}} | ||
| − | Referida als [[ | + | Referida als [[Sistema_formal|sistemes formals]], la característica defectiva que fa que sigui possible deduir d'ells un [[Teorema|teorema]] i la seva [[Negació|negació]]. Si els sistemes formals fossin inconsistents, serien trivials, atès que d'ells podria deduir-se qualsevol cosa. |
| − | Referida a un conjunt d'[[ | + | Referida a un conjunt d'[[Enunciat|enunciats]], es considera inconsistent un conjunt si d'ell és possible deduir un enunciat i la seva negació. |
| − | Referida a parells d'enunciats comparats entre si, es diu que dos enunciats són inconsistents si no poden ser tots dos | + | Referida a parells d'enunciats comparats entre si, es diu que dos enunciats són inconsistents si no poden ser tots dos vertaders o tots dos falsos alhora, de manera que si un d'ells és vertader l'altre ha de ser fals, i viceversa. {{Etiqueta|Etiqueta=Lògica}}{{Etiqueta|Etiqueta=Epistemologia}}{{InfoWiki}} |
| − | {{Etiqueta|Etiqueta=Lògica}}{{Etiqueta|Etiqueta=Epistemologia}}{{InfoWiki}} | ||
Revisió de 18:55, 18 març 2018
Referida als sistemes formals, la característica defectiva que fa que sigui possible deduir d'ells un teorema i la seva negació. Si els sistemes formals fossin inconsistents, serien trivials, atès que d'ells podria deduir-se qualsevol cosa.
Referida a un conjunt d'enunciats, es considera inconsistent un conjunt si d'ell és possible deduir un enunciat i la seva negació.
Referida a parells d'enunciats comparats entre si, es diu que dos enunciats són inconsistents si no poden ser tots dos vertaders o tots dos falsos alhora, de manera que si un d'ells és vertader l'altre ha de ser fals, i viceversa.