Skip to content

AutomatedReasoningLogicStatement

Source code in docs_src/capo_bedrock/types/automated_reasoning_logic_statement.py 
14
15
16
17
18
19
20
class AutomatedReasoningLogicStatement(TypedDict, closed=True):
    logic: "capo_bedrock.types.automated_reasoning_logic_statement_content.AutomatedReasoningLogicStatementContent"
    """<p>The formal logic representation of the statement using mathematical notation and logical operators.</p>"""
    natural_language: NotRequired[
        "capo_bedrock.types.automated_reasoning_natural_language_statement_content.AutomatedReasoningNaturalLanguageStatementContent"
    ]
    """<p>The natural language representation of the logical statement, providing a human-readable interpretation of the formal logic.</p>"""

logic instance-attribute 

logic: AutomatedReasoningLogicStatementContent

The formal logic representation of the statement using mathematical notation and logical operators.

natural_language instance-attribute 

natural_language: NotRequired[AutomatedReasoningNaturalLanguageStatementContent]

The natural language representation of the logical statement, providing a human-readable interpretation of the formal logic.