MathCastle
Proof Writing & Problem SolvingSuperchallenge

Proof Writing & Problem Solving · Superchallenge problem

Let F1=P1F_1 = P_1 and, for k≥2k \ge 2, Fk=(Fk−1⇒Pk)F_k = (F_{k-1} \Rightarrow P_k), so for example F3=((P1⇒P2)⇒P3)F_3 = \big((P_1 \Rightarrow P_2) \Rightarrow P_3\big). In how many of the 2102^{10} truth assignments to P1,P2,…,P10P_1, P_2, \ldots, P_{10} is F10F_{10} true?

Practice more like this