【下位】 (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 もしその体系の原理から演繹されることのない命題が提出されると矛盾が生ずるということに構成された論理体系の特質。
日/英 »
【下位】 (logic) an attribute of a logical system that is so constituted that none of the propositions deducible from the axioms contradict one another 原理から推論できる命題は1つとして互いに矛盾し合うものはないということによって構成された論理体系の特質。
日/英 »
【下位】 the quality of being consistent with or based on logic 道理にかなっていて、また道理に基づいている性質。
日/英 »
