Collection of Well-Formed Formulas with no Equivalent, Independent Subset

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
1 reply · 2K views
jgens
Gold Member
Messages
1,575
Reaction score
50

Homework Statement



Find a collection of well-formed formulas Ʃ such that Ʃ has no independent equivalent subset.

Homework Equations



N/A

The Attempt at a Solution



So far I have been able to show that Ʃ must be infinite. However, after this, I get stuck. Could anyone give me a hint on how to construct such a Ʃ?

Thanks!
 
Physics news on Phys.org
I figured it out. If we take [itex]\Sigma = \{A_1, A_1 \wedge A_2, \dots, A_1 \wedge \cdots \wedge A_n, \dots\}[/itex], then that should work.