Results for: 'predicate logic'
MU 060 Logic intro
Overview of Logic Pro X
MU 060 Logic Project 1: Magnetic Poetry
Logic project #1 instructions
MU 060 Arranging Project (2 of 2: Logic)
Editing Software Instrument parameters in Logic
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.
negated quantifier proofs PHIL013AB
A video on how to do proofs with negated quantifiers. Introduces two new rules, ~AO and ~EO, and discusses how to do proofs where you need to SHOW negated quantifiers (you have to do ID).
PHIL 013A/B: Validity
An eight-minute screencast on the concept of validity and other basic concepts in logic.
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.
Logic project 1
the logic project about poem.
MU 060 Logic MIIDI sequencing (1 of 2)
Introduction to MIDI seqeuncing project, reviewing the nature of MIDI and MIDI messages