Discrete Mathematics.

Academical Hack › Maths

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: Propositions

A proposition is a declarative sentence (that is, a sentence that declares a fact) that is either true or false, but not both.