Changes
8b
Thus we can see that #1 is equivalent to r⊃p.q and #2 is equivalent to r⊃p∨q
8. (a){|! p || φ(p,p,p)|-|T || T|-|F || F|} {|! p || q || φ(q,p,q)|-|T || T || T|-|T || F || T|-|F || T || T|-|F || F || F|} {|! p || φ(q,p,q) || q || φ(p,φ(q,p,q),q)|-|T || T || T || T|-|T || T || F || F|-|F || T || T || F|-|F || F || F || T|} (b) Yes; for φ(p,p,p) = F, p = F as well.Yes; for φ(q,p,q) = F, p = F as well.No; there are two cases in which φ(p,φ(q,p,q),q) = F, and p = F for only one of them. Thus p = T, q = F gives us φ(p,φ(q,p,q),q) = F while p = T, so implication does not hold.