|
|
Data, Logic, and Computing: Winter 2025
Logic: the language of mathematics
Logic is the study of correct reasoning or good arguments.
It aims to provide criteria for assessing the correctness of arguments and distinguishing them from fallacies.
In this chapter, we introduce the language of logics, the concept of propositions or statements, the methods with which such statements can be combined, as well as the concept of logical equivalence. It serves as the foundations for the following chapter on proofs.
Lecture Notes
Further Reading
Handwritten Notes from class on 1/27: Logic: The NOT, AND, and OR operatorsPDF document
Handwritten Notes from class on 1/29: Logic: ConditionalsPDF document
Handwritten Notes from class on 1/31: Logic: biconditionals; properties; QuantifiersPDF document
|
