Module logic_output 

First-Order Logic output display component.

Renders compiled logic expressions with syntax highlighting. Supports multiple output formats (Unicode, SimpleFOL, LaTeX, Kripke) and multiple readings for ambiguous sentences.

Props

• logic - Primary Unicode output
• simple_logic - SimpleFOL format output
• kripke_logic - Kripke semantics output
• readings - Multiple readings for ambiguous sentences
• error - Optional error message
• format - Output format selection

Syntax Highlighting

Different logical elements are color-coded:

• Quantifiers (∀, ∃): purple
• Connectives (∧, ∨, →, ↔, ¬): purple
• Variables (lowercase): blue
• Predicates (uppercase words): green
• Constants (capitalized names): yellow

Re-exports

pub use LogicOutput_completions::Component::LogicOutput;

Structs

LogicOutputProps

Properties for the LogicOutput component.

Enums

OutputFormat

Functions

LogicOutput

Props

highlight_logic