Search Results
Results for: 'predicate logic'

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

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.

sentential translations 1 PHIL013AB
A video on how to translate sentences from English to our notation using the five main connectives