This document discusses mathematical foundations of computer science. It covers topics such as statements (propositions), logic operators (NOT, AND, OR), compound statements, logical equivalence, conditional statements, and arguments. Specifically, it defines statements as sentences that are either true or false. It introduces logic operators and how they can be used to construct new statements from old ones. It also discusses logical forms such as truth tables and De Morgan's laws. Finally, it discusses conditional statements, logical equivalence, and valid arguments.