Results for: '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."
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.
MU 060 Logic MIIDI sequencing (2 of 2)
Instructions for MIDI sequencing project
Popeye Gopher Spinach but Modern
My submission for Logic Project 3, using Popeye Gopher Spinach
multiple quantifier translations PHIL013
A video on relational translations that involve more than one quantifier.
MU 060 Scoring a rhythmic video, pt. 2
Linking to video in Logic Pro
Logic project 2
files about assignment.
darius shaoul mu060 logic project