ili:i62154
http:| rdf: | type | |
| skos: | definition | (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 |
Cross-lingual relations
| ∴dns: | linked concept | en: completeness |
Other
| Source | http: |
∴ fully or partially logically inferred