Results for: 'Logic Project 3'
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.
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).
MU 060 Scoring a rhythmic video, pt. 3
Synchronizing the tempo ruler to a video
MU 060 Scoring a rhythmic video, pt. 4
Working with Apple Loops
Barnyard Bunk with score by James Putnam
Vintage animation with a new underscore
proofs vI double negation double arrow PHIL013
A video of just over six minutes about doing proofs with four new rules: or in, double negation, and double arrow in and out.
conditional derivation proofs PHIL 013C
A nine-minute video about conditional derivation, a new kind of rule. Listen closely for a special appearance from a squeaky raccoon.
MU 060 MIDI lecture
Introduction to MIDI protocol
spontaneous show proofs
A video about how to do proofs where you write down SHOW statements that don't come from any particular derivation rule.