Discrete Mathematics.

# Appendix: LaTeX Expressions that the Course Could Use

Quantifiers

$\forall$: \forall

$\exists$: \exists

example latex template,  see: https://www.zhihu.com/collection/296441755https://www.zhihu.com/collection/296441755

1. Logic and Proofs

1.1 Propositional Logic

Definition 1.1: PropositionsA proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both.