## Search Results

Results for: '*predicate 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).

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.

MU 060 Logic MIIDI sequencing (1 of 2)

Introduction to MIDI seqeuncing project, reviewing the nature of MIDI and MIDI messages