I present to you the course “Introduction to Logic”, which was recently held at Hexlet . It is based on the textbook on mathematics by Roman Dobrovensky. The course consists of six lectures with a total duration of 2 hours and 20 minutes.
First lecture Basic concepts of logic, logical operations, our first theorem and the law of De Morgan.
Second lecture Representation of functions through basic operations.
Third lecture. We consider the solution of the “Most difficult logical task”
The fourth lecture. Predicates, quantifiers, sets and subsets.
The fifth lecture. We consider a system of mathematical proofs.
Sixth lecture. Paradoxes of classical logic and conclusion.
PS Let me remind you that the Hekslet project exists thanks to donations from users. You can support the project in any way you like on this page . Well, simple informational support (tell your friends, share it in social networks, etc.) will help us a lot. Thank you very much!