Results for: 'logic'
PHIL 013A/B: What is Logic?
A short (approx. 4 minutes) introduction to what logic is and what we'll be covering this semester.
MU 060 Arranging Project (2 of 2: Logic)
Editing Software Instrument parameters in Logic
predicates and constants PHIL013AB
A short video on predicate logic, introducing constants and predicate letters.
MU 060 Logic Project 1: Magnetic Poetry
Logic project #1 instructions
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.
MU 060 Logic intro
Overview of Logic Pro X
Chris Wheeler underscore
Action scene with Logic underscore
DD, and-I, and and-O proofs
A video about three proof rules, now updated with a new file name.
PHIL 013A/B: Validity
An eight-minute screencast on the concept of validity and other basic concepts in logic.