## Search Results

Results for: '*Logic Project 3*'

complex translations PHIL013AB

A four-minute video on how to do complex translations involving more than two subsentences.

Introduction to proofs PHIL 013AB

A video on what proofs are, which explains the concept of simple derivation, and how to do proofs with one proof rule, Modus Ponens.

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

conditional derivation proofs PHIL 013AB

A nine-minute video about conditional derivation, a new kind of rule. Listen closely for a special appearance from a duck. (Edited to add: the squeaking thing is actually a raccoon)

negation proof rules PHIL013AB

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

spontaneous show proofs PHIL013AB

A video on how to do proofs where you write down SHOW statements that don't come from specific derivation rules.

introduction to predicate proofs PHIL013AB

A video introducing predicate proofs and the first two predicate proof rules, AO and EI.