Viewed 181 times.
Follow mcweiner
Uploaded by mcweiner on 11/10/2020
Tags: logic proofs predicate proofs PHIL013A PHIL013B PHIL013
A video on how to use the rule EO (existential out) in proofs in predicate logic.
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.