Logichard
0:00.0
Let be a propositional theory over three variables defined by the single axiom . The Lindenbaum-Tarski algebra of is the Boolean algebra of all formulas modulo equivalence under (where iff ). How many elements are in the Lindenbaum-Tarski algebra of this theory?
Let be a propositional theory over three variables defined by the single axiom . The Lindenbaum-Tarski algebra of is the Boolean algebra of all formulas modulo equivalence under (where iff ). How many elements are in the Lindenbaum-Tarski algebra of this theory?