В пособии, адресованном старшеклассникам и студентам-первокурсникам педагогических вузов, излагаются основные понятия логики высказываний и предикатов, а также их применение к теории множеств.