Свойства логического вывода