🧠/~=🅰️

#lindenbaum-tarski #mathematical logic #quotient structure #logical equivalence #abstract algebra #algebraic logic

[Φ]↔️[Ψ]

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