# Logical Property
**Logical properties** are characteristics of a system, concept, or entity that relate to its formal or structural aspects, often in the context of logic, reasoning, or theoretical frameworks. These properties are typically invariant under changes to the specific content or physical instantiation of the system and focus instead on relationships, consistency, and truth-preserving structures.
Some examples include:
1. [Law of the Excluded Middle](Law%20of%20the%20Excluded%20Middle.md)
2. [Consistency](Consistent.md)
3. The [wikipedia entry on logic](https://en.wikipedia.org/wiki/Logic) has a ton of good examples
Logical properties are indeed concerned with the **relationships between components** of a system and how those relationships form an **internal structure** that determines consistency, validity, entailment, and other formal characteristics.
---
Date: 20241214
Links to:
Tags:
References:
* [Logic - Wikipedia](https://en.wikipedia.org/wiki/Logic)