Визуализация логических паттернов в формальной логике