Viewed 172 times.
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).
Share this on:
Clicking this button will flag this content for review by an administrator. You can also contact the administrators directly by email at firstname.lastname@example.org.
Sign In to post comments.