Термины логических операций Остенсивное определение в логике примеры