Contributor Open Learning Initiative; Carnegie Mellon University

Update
01-01-2015
Content Type
Textbook
Grade Level
Undergraduate
Object Type
Website
License

Logic is a remarkable discipline. It is deeply tied to mathematics and philosophy, as correctness of argumentation is particularly crucial for these abstract disciplines. Logic systematizes and analyzes steps in reasoning: correct steps guarantee the truth of their conclusion given the truth of their premise(s); incorrect steps allow the formulation of counterexamples, i.e., of situations in which the premises are true, but the conclusion is false.