A video on how to do proofs with negated quantifiers. Introduces two new rules, ~AO and ~EO, and discusses how to do proofs where you need to SHOW negated quantifiers (you have to do ID).
Clicking this button will flag this content for review by an administrator. You can also contact the administrators directly by email at jhenry@uvm.edu.
Comments
0 Comments totalSign In to post comments.