Logichard
0:00.0
In algebraic logic, the free Boolean algebra on generators, denoted by , represents the algebraic structure of all equivalence classes of propositional formulas under classical logical equivalence, generated by distinct propositional variables. What is the cardinality of the free Boolean algebra on generators?
In algebraic logic, the free Boolean algebra on generators, denoted by , represents the algebraic structure of all equivalence classes of propositional formulas under classical logical equivalence, generated by distinct propositional variables. What is the cardinality of the free Boolean algebra on generators?