Search Results
Results for: 'Logic%20Pro%20X'
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.
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.