Results for: 'Logic Project 3'
darius shaoul mu060 logic project
predicates and constants PHIL013AB
A short video on predicate logic, introducing constants and predicate letters.
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.
Overview of Logic Pro X
Action scene with Logic underscore
A video about three proof rules, now updated with a new file name.
An eight-minute screencast on the concept of validity and other basic concepts in logic.
sentential translations 1 PHIL013AB
A video on how to translate sentences from English to our notation using the five main connectives
MU 060 Scoring a rhythmic video, pt. 5
Exporting audio to movie in Logic