Search Results
Results for: 'predicate logic'
MU 060 Logic MIIDI sequencing (1 of 2)
Introduction to MIDI seqeuncing project, reviewing the nature of MIDI and MIDI messages
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.
multiple quantifier translations PHIL013
A video on relational translations that involve more than one quantifier.
