logical variable

Deductions

• logical variable has quality class ⇐ (abstract entity is a class), (logical variable has quality abstract entity)
• logical variable has quality abstract entity ⇐ (computer science term is a abstract entity), (logical variable has quality computer science term)
• logical variable has quality expression ⇐ (truth value is subclass of expression), (logical variable has quality truth value)
• logical variable has quality computer science term ⇐ (value is a computer science term), (logical variable has quality value)
• abstract data type is for example logical variable ⇐ (logical variable is a abstract data type), (is a is inverse of is for example)
• logical variable has quality value ⇐ (truth value is subclass of value), (logical variable has quality truth value)