Search Results

Results for: 'Apple Logic Pro'

7:56

negation proof rules PHIL013AB

By: mcweiner

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

4:51

conditional truth table PHIL013AB

By: mcweiner

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

9:18

negated quantifier proofs PHIL013AB

By: mcweiner

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).

9:21

indirect derivation PHIL013AB

By: mcweiner

A video on the indirect derivation rule for proofs.

6:37

Popeye Gopher Spinach but Modern

By: nrobins2

Popeye Gopher Spinach but with synth loops and trap beats instead of classical music. My Logic Project 3 for MU 060

5:25

universal derivation PHIL013AB

By: mcweiner

A video on the Universal Derivation rule for predicate proofs, a rule for doing proofs where the SHOW line begins with Ax.

7:25

proofs with modus tollens and wedge out PHIL013AB

By: mcweiner

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

6:15

proofs vI double negation double arrow PHIL013

By: mcweiner

A video of just over six minutes about doing proofs with four new rules: or in, double negation, and double arrow in and out.

1:02:13

Building a Regional Taste, Trade and Identity: International Case Study on Cider

By: rcbartle

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...