审计的逻辑思维有哪些