Namespace PropositionalFactory

Factory utilities for creating propositional logic components. Provides methods to create well-formed formulas, expressions, symbols, and operators.