Logichard
0:00.0

Let TT be a propositional theory over three variables {P,Q,R}\{P, Q, R\} defined by the single axiom T={P    (QR)}T = \{P \implies (Q \land R)\}. The Lindenbaum-Tarski algebra of TT is the Boolean algebra of all formulas modulo equivalence under TT (where ATBA \equiv_T B iff TA    BT \vdash A \iff B). How many elements are in the Lindenbaum-Tarski algebra of this theory?