AutomatedReasoningLogicStatement¶
Structure Class¶
dataclass
¶
Represents a logical statement that can be expressed both in formal logic notation and natural language, providing dual representations for better understanding and validation.
Attributes¶
class-attribute
instance-attribute
¶
logic: str = field(repr=False)
The formal logic representation of the statement using mathematical notation and logical operators.
class-attribute
instance-attribute
¶
natural_language: str | None = field(repr=False, default=None)
The natural language representation of the logical statement, providing a human-readable interpretation of the formal logic.