Search Results
Results for: 'PHIL013C'
sentential translations 1 PHIL013AB
A video on how to translate sentences from English to our notation using the five main connectives
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.
conditional derivation proofs PHIL 013C
A nine-minute video about conditional derivation, a new kind of rule. Listen closely for a special appearance from a squeaky raccoon.
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.