Search Results

Results for: 'predicate logic'

6:37

Popeye Gopher Spinach but Modern

By: nrobins2

Popeye Gopher Spinach but with synth loops and trap beats instead of classical music. My Logic Project 3 for MU 060

5:39

Barnyard Bunk with score by James Putnam

By: dfeurzei

Vintage animation with a new underscore

6:15

proofs vI double negation double arrow PHIL013

By: mcweiner

A video of just over six minutes about doing proofs with four new rules: or in, double negation, and double arrow in and out.

8:49

conditional derivation proofs PHIL 013C

By: mcweiner

A nine-minute video about conditional derivation, a new kind of rule. Listen closely for a special appearance from a squeaky raccoon.

48:44

MU 060 MIDI lecture

By: dfeurzei

Introduction to MIDI protocol

7:39

spontaneous show proofs

By: mcweiner

A video about how to do proofs where you write down SHOW statements that don't come from any particular derivation rule.