Diferència entre revisions de la pàgina «Inconsistència»
De Wikisofia
| Línia 5: | Línia 5: | ||
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 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}} |
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.