Search Results
Results for: 'cat'
predicate proofs existential out PHIL013AB
A video on how to use the rule EO (existential out) in proofs in predicate logic.
universal derivation PHIL013AB
A video on the Universal Derivation rule for predicate proofs, a rule for doing proofs where the SHOW line begins with Ax.
Tips for the Community Education Assignment
Professor Shelton describes the Community Education assignment and provides some hints for tackling it.
negated quantifier proofs PHIL013AB
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).
UVM Geology Seminar - Keith Klepeis - 11/16/2020
PFAS groundwater contamination near Rutland, Vermont: how to communicate geological research to the public and other non-scientist stake-holders
