2.2 Prove it

Click "refresh" or "reload" to see another problem like this one.

Click here to get a clue


The format of the preceding proof is important.
You must write a coherent sequence of propositions, each of which is equivalent to the previous one, due to the application of an equivalency law; at each step, the appropriate law must be cited (except that we will not need to cite Double Negation when it occurs within the application of another law).

Copyright (c) 2012, 2015, 2016, 2017, 2018, James Wooland, all rights reserved.