| NOMBRE | attribute | completitud semántica, completitud | (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system |
|---|
| Sentido | (logic) an attribute of a logical system that is so constituted that a contradiction arises if any proposition is introduced that cannot be derived from the axioms of the system. | |
|---|---|---|
| Sinónimo | completitud | |
| Categoría | lógica | The branch of philosophy that analyzes inference |
| General | lógica, racionalidad | correct and valid reasoning |
| Inglés | completeness | |
©2001-24 · HyperDic hyper-dictionary · Contact
English |
Spanish |
Catalan
Privacy |
Robots