Search Results
Results for: '.'
predicate proofs existential out PHIL013AB
A video on how to use the rule EO (existential out) in proofs in predicate logic.
HDFS 161 Episode 18 Crime & Punishment
Professor Shelton Outlines a develecological understanding of crime and punishment. He describes the development of criminal behavior and thinking, the developmental and ecological ingredients that go into a criminal developmental trajectory, the...
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.
This video is a supplement for students who are reading "Introduction To The Theory Of Computation" by Michael Sipser. I took the liberty of using the terminology from the textbook
This video is a supplement for students who are reading "Introduction To The Theory Of Computation" by Michael Sipser. I took the liberty of using the terminology from the textbook.
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).