You are right ... and I guess I am wrong with making this statement:Yet, this law does not mention either ∨ or ¬, which are the only connectives (operations) in the formulas (*) and (**) above. Why do you think law 4 applies?
This is new stuff for me ... and its a bit complicated ...Step 3: ¬(¬q) ∨¬p = Law 4
I think when I look at the laws the one that looks the most the same with Step 3 is Law 2 (Law 2: ¬(¬a) ⇔ a(law of negation))
But I already used Law 2 in Step 2...