📜/≡➡️🅱️

#lindenbaum-tarski #boolean algebra #equivalence class #propositional logic #quotient algebra

🧠/~=🅰️

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

{💬}/↔️=🧩

#lindenbaum-tarski #sentences #logical equivalence #algebraic structure #theory

[Φ]↔️[Ψ]

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