Logic (Audio w/ .pdfs)

Information on the class -- grading, sections, homework; and an introduction to what logic is, and how we will be approa... Read more

Here we begin describing the formal structures underlying reasoning - arguments, statements, and the recursive nature of... Read more

Translating natural language into the formal notation of sentential logic, including necessary & sufficient conditio... Read more

Discussion of functions, truth functions, the truth functions symbolized by statement operators, and the construction of... Read more

Using truth tables to assess relations of equivalence, consistency and implication among sets of statements; and assessi... Read more

An introduction to the proof method in sentential logic, with examples using five inference rules (MP, MT, DS, HS, simp)... Read more

Additional inference rules (dil, DI, conj), and three replacement rules (CE, DN, comm). Examples of more complicated pro... Read more

Introduction of final seven replacement rules (DeM, BE, contra, dist, exp, assoc, dup); and introduction to the method o... Read more

Introduction to conditional proof; multiple and nested subproofs; using the proof method to verify that a statement is a... Read more

Clarification of issues that often cause problems, including: negation, the interpretation of statement variables and op... Read more