Search Results
Results for: 'Apple Logic Pro'

negation proof rules PHIL013AB
A video on rules for proofs with complex negations, like ~(P & Q), ~(P v Q), and ~(P -> Q).

conditional truth table PHIL013AB
A five-minute video explaining why the truth table for the conditional is the way it is.

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.

Building a Regional Taste, Trade and Identity: International Case Study on Cider
This panel draws upon the Glynwood Center for Food and Farming's experience enlivening a historic apple region, the Hudson Valley of New York, incubating a state-wide trade association for the (hard) cider industry, and developing an international...