Viewed 226 times.
Follow mcweiner
Uploaded by mcweiner on 11/12/2020
Tags: logic proofs predicate proofs PHIL013A PHIL013B PHIL013
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 jhenry@uvm.edu.
Sign In to post comments.
Comments
0 Comments totalSign In to post comments.