Search Results
Results for: 'predicate logic'
Popeye Gopher Spinach but Modern
Popeye Gopher Spinach but with synth loops and trap beats instead of classical music. My Logic Project 3 for MU 060
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.
A video about how to do proofs where you write down SHOW statements that don't come from any particular derivation rule.