Search Results
Results for: 'Logic Pro X'
![](/wowza/users/m/c/mcweiner/thumbs/Hb9h6AodbwztbYB9xwoP.jpg)
introduction to predicate proofs PHIL013AB
A video introducing predicate proofs and the first two predicate proof rules, AO and EI.
![](/wowza/users/m/c/mcweiner/thumbs/HC3E8EFBRztSaeJOHmFA.jpg)
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.
![](/wowza/users/m/c/mcweiner/thumbs/GyboUICmiG4KmJxyhFtq.jpg)
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).
![](/wowza/users/n/r/nrobins2/thumbs/AfiA9ZTYQDVBjqEluHvD.jpg)
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
![](/wowza/users/m/c/mcweiner/thumbs/FeJRF5gEcaWwn13wET6H.jpg)
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.
![](/wowza/users/m/c/mcweiner/thumbs/Nr88SB7uCdPixCvdPd3s.jpg)
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.
![](/wowza/users/m/c/mcweiner/thumbs/L4GZ9QFTY9TXsb4oRf8M.jpg)
A video about how to do proofs where you write down SHOW statements that don't come from any particular derivation rule.