Skip to main content

\(\newcommand{\abs}[1]{\left\lvert #1 \right\rvert} \newcommand{\set}[1]{\left\{ #1 \right\}} \renewcommand{\neg}{\sim} \newcommand{\brac}[1]{\left( #1 \right)} \newcommand{\eval}[1]{\left. #1 \right|} \newcommand{\floor}[1]{\lfloor #1 \rfloor} \newcommand{\ceil}[1]{\lceil #1 \rceil} \newcommand{\nCr}[2]{_{#1}C_{#2}} \newcommand{\nPr}[2]{_{#1}P_{#2}} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \)

Discrete Math

1 Basics
- Introduction to Sets
2 Logic
3 Basic Combinatorics
4 Sequences
- Introduction to Sequences
- Sums, Summation Notation
5 Proof Basics and Reference
6 Mathematical Induction
7 Set Theory
8 Functions and Relations
9 More Advanced Counting
10 MISC

Authored in PreTeXt

Chapter 2 Logic

An introduction to logic. Logic is a foundation of mathematics, because it is required to precisely understand mathematical statements.

2.1 Introduction to Logic
2.2 Conditionals, Converse, Inverse, and Contrapositive
2.3 Biconditionals, Logical Equivalence
2.4 Properties of Logic
2.5 Predicate Logic
2.6 Quantifiers