Mathematical logic is a section of modern formal logic in which logical inferences are investigated through logical calculi based on mathematical language, axiomatization and formalization.

Content:
- Boolean functions
- Forms for representing Boolean functions
- An example. Boolean functions
- What is a saying
- Denial
- conjunction
- Disjunction
- Implication
- Equivalence
- The basic laws of mathematical logic
- An example. Prove the validity of de Morgan's formulas