Results for: 'Logic Project 3'
A video about translating categorical sentences that have complex subjects or predicates.
categorical translations PHIL013AB
A video on the four basic forms of categorical translations: All, some, no, not all/some not.
quantifiers and variables PHIL013AB
Screencast on introduction to quantifiers and variables.
only and categorical compounds
A video on how to translate categorical statements with "only" in them, and compounds of categorical statements.
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."
connectives and truth value calculation PHIL013AB
A nine-minute video on the connectives we will use in statement logic, and how to calculate truth-values with those connectives.
predicate proofs existential out PHIL013AB
A video on how to use the rule EO (existential out) in proofs in predicate logic.
multiple quantifier translations PHIL013
A video on relational translations that involve more than one quantifier.
Popeye Gopher Spinach but Modern
Popeye Gopher Spinach but with synth loops and trap beats instead of classical music. My Logic Project 3 for MU 060