19. § 2. Елементи математичної логіки