04785414-n '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';
Definitions
- Japanese
-
もしその体系の原理から演繹されることのない命題が提出されると矛盾が生ずるということに構成された論理体系の特質
- English
-
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
Relations
External Links
SUMO:
⊂ Attribute
TempoWN:
◁
▲
▷
(Past: 0.000;
Present: 0.452;
Future: 0.001)
SentiWN:
△
▼
(+0.00
-0.12)
MLSentiCon:
▲
▽
(+0.12
-0.00)
More detail about the Extended Open Multilingual Wordnet (1.3)
Maintainer:
Francis Bond
<bond@ieee.org>