Results for: 'predicate logic'
relational categoricals PHIL013
A video about translating relational categoricals, sentences where one or more categories are joined by a relation, such as "Some people love all cats."
DD, &O, and &I proofs
A video about doing proofs, introducing how to do direct derivations, and the &I and &O rules.
conditional truth table PHIL013AB
A five-minute video explaining why the truth table for the conditional is the way it is.
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.