bn:00021367n
Noun Concept
SYL
No term available
EN
(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 WordNet 3.0
English:
logic
in logic
Relations
Sources