04785195-n 'an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another';
Definitions
- Japanese
-
原理から推論できる命題は1つとして互いに矛盾し合うものはないということによって構成された論理体系の特質
- English
-
an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another
Relations
External Links
More detail about the NTUMC+ Open Multilingual Wordnet (0.9)
This project is now integrated in the
Extended Open Multilingual Wordnet (0.9)
Maintainer:
Francis Bond
<bond@ieee.org>