Logic

Subject:

Mathematics and Statistics

Institution Name:

Carnegie Mellon University - Open Learning Initiative

Collection:

Carnegie Mellon University

Grade Level:

Post-secondary

Abstract:

Logic and Proofs is an introduction to modern symbolic logic. It provides a rigorous presentation of the syntax and semantics of sentential and predicate logic. However, the distinctive emphasis is on strategic argumentation. Students learn effective strategies for constructing natural deduction proofs. This learning is supported by the Carnegie Proof Lab: it provides a sophisticated interface, in which students can give arguments by strategically guided forward and backward steps.

Languages:

English

Material Type:

Activities and Labs, Assessments, Full Course, Lecture Notes, Syllabi, Other

Media Format:

Audio, Graphics/Photos, Text/HTML

Conditions of Use:

Creative Commons Attribution-Noncommercial-Share Alike 3.0