Лекция 4. Свойства логических исчислений