Bir çıkarımı denetlemek ne demektir?
Çıkarımın geçerli mi geçersiz mi olduğunun ortaya konması demektir.