Свойства умозаключений в логике