Метод от противного в логике: примеры и визуализация сложных логических приемов