Uploaded by mcweiner on 11/16/2020
predicate proofs PHIL013A
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).
Comments0 Comments total
Sign In to post comments.