6 Lecture in math 6 Lecture in math Revision Symbols Logic Predicates Induction Combinatorics Math symbols + - = etc. Logic Mathematical logic is a subfield of mathematics…