[Φ]↔️[Ψ]

#lindenbaum-tarski #equivalence class #logical formula #algebraic logic #model theory

∑∫≈x🧠

#mathematical formulator #equation creator #algorithm design #logical formula #theoretical modeling #mathematician