Search Results
Results for: 'Logic Pro X'

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

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.

proofs with modus tollens and wedge out PHIL013AB
A video explaining two proof rules, modus tollens and wedge out, which can be used in proofs for PHIL013.

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.

proofs vI double negation double arrow PHIL013AB
A video on proof rules for wedge in, double negation, and double arrows. NOTE: if you're using captions, there is a possibility that the software may be displaying double arrows in the captions as single arrows. I wrote [double arrow] in the capti...