Information on the class -- grading, sections, homework; and an introduction to what logic is, and how we will be approaching it in this class.

Information on the class -- grading, sections, homework; and an introduction to what logic is, and how we will be approaching it in this class.

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

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

Translating natural language into the formal notation of sentential logic, including necessary & sufficient conditions, and recursively structured compound statements.

Translating natural language into the formal notation of sentential logic, including necessary & sufficient conditions, and recursively structured compound statements.

Discussion of functions, truth functions, the truth functions symbolized by statement operators, and the construction of truth tables to evaluate compound expressions.

Discussion of functions, truth functions, the truth functions symbolized by statement operators, and the construction of truth tables to evaluate compound expressions.

Using truth tables to assess relations of equivalence, consistency and implication among sets of statements; and assessing argument validity.

Using truth tables to assess relations of equivalence, consistency and implication among sets of statements; and assessing argument validity.