[Φ]↔️[Ψ]

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