I am currently trying to work on problem 8, but I'm not sure exactly how to start it.
I was thinking of starting it by trying to prove that phi is indeed PL valid. I would have to show how that is connected to superevalution.
I was also thinking of incorporating this:
For any trivalent interpretation I, SVI(phi)=1 I(p)=1 For any precisification C of I, Vc (phi)=1 Therefore Vc(phi)=1
I can also repreat this with indeterminant as well. I wasn't sure if I would need to prove that phi is PL valid first before proving superevaluation.