Vergi denetimi, ödenmesi gereken vergilerin doğruluğunu tespit etmeyi ve sağlamayı amaçlayan bir süreçtir. Bu süreç, hem vergiyi doğuran somut olaya hem de vergi kanunlarına ilişkin iki aşamayı içerir. Olayın gerçekliği gibi olaya uygulanacak kuralın anlam ve içeriğini doğru belirlemek de denetim elemanının görevidir. Mantık disiplininin akıl yürütme yöntemleri, bu süreçte kullanılan önemli araçlardır.
Tax audit is a process that aims to determine and ensure the accuracy of taxes to be paid. This process includes two stages regarding both the concrete taxable event and the tax laws. Just like the reality of the event, it is the duty of the tax auditors to correctly determine the meaning and content of the rule to be applied to the event. Reasoning methods of logic discipline are important tools used in this process.