2 逻辑与真相探索