Results for: 'sentental logic'
DD, and-I, and and-O proofs
A video about three proof rules, now updated with a new file name.
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 Logic intro
Overview of Logic Pro X
MU 060 Logic Project 1: Magnetic Poetry
Logic project #1 instructions
predicates and constants PHIL013AB
A short video on predicate logic, introducing constants and predicate letters.
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.
quantifiers and variables PHIL013AB
Screencast on introduction to quantifiers and variables.
PHIL 013A/B: Validity
An eight-minute screencast on the concept of validity and other basic concepts in logic.