Find equivalence classes

38 Views Asked by At

A is set of all propositional expressions on the propositions p1 , p2 , . . . , pn. Relation R on A is defined as (P, Q) ∈ R if P ↔ Q is a tautology. I think it is an equivalence relation, what should be its equivalence classes?