Search Results
Results for: 'Logic Pro X'
introduction to predicate proofs PHIL013AB
A video introducing predicate proofs and the first two predicate proof rules, AO and EI.
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).
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.