## Search Results

Results for: '*Logic Pro X*'

A short (approx. 4 minutes) introduction to what logic is and what we'll be covering this semester.

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.

An eight-minute screencast on the concept of validity and other basic concepts in logic.