Search Results
Results for: 'PHIL013'
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.
introduction to relational translations PHIL013
An introduction to relational logic, with an explanation of relations and how to translate relational sentences with no quantifiers or one quantifier.
multiple quantifier translations PHIL013
A video on relational translations that involve more than one quantifier.
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."
conditional truth table PHIL013AB
A five-minute video explaining why the truth table for the conditional is the way it is.
A short (approx. 4 minutes) introduction to what logic is and what we'll be covering this semester.
An eight-minute screencast on the concept of validity and other basic concepts in logic.