Description: Given a is equivalent to F. , there exists a proof for not a. (Contributed by Jarvin Udandy, 30-Aug-2016)