proofs vI double negation double arrow PHIL013AB

Uploaded by mcweiner on 10/04/2020

Tags: logic   proofs   double negation   double arrow   wedge in   PHIL013A   PHIL013B   PHIL013  

A video on proof rules for wedge in, double negation, and double arrows. NOTE: if you're using captions, there is a possibility that the software may be displaying double arrows in the captions as single arrows. I wrote [double arrow] in the captions to indicate whenever there was a double arrow.