Лекция 1. Классическая логика высказываний