Форма способ доказательства логическое рассуждение совокупность умозаключений Остенсивное определение в логике примеры