Понимание прямого и косвенного доказательства в логике