It’s a bi-conditional, so there are two Rules of Equivalence that pertain. The last step will surely be EQ, rewriting one of them into a triple bar.
0
Embed
Share
Upload
