Viewed 122 times.
Uploaded by mcweiner on 11/12/2020
predicate proofs PHIL013A
A video on the Universal Derivation rule for predicate proofs, a rule for doing proofs where the SHOW line begins with Ax.
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.