Tutorial Using Negation Introduction in the ProofLab

>> YOUR LINK HERE: ___ http://youtube.com/watch?v=HyooEzF2tQM




#############################