Search Results
Results for: 'sentental logic'
truth table calculation PHIL 013AB
An eight-minute video about how to calculate a truth table for a complex statement.
truth table applications PHIL 013AB
An eleven-minute video on the things you can do with truth-tables. Covers tautology/contradiction/contingent, implication and equivalence, and argument validity.
sentential translations 1 PHIL013AB
A ten-and-a-half-minute video about how to do translations in sentential logic, using the basic connectives and phrases like "neither" and "unless."
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)
