İbn Rüşd, Aristoteles mantığını İslam dünyasında savunmuş ve geliştirmiştir. Ona göre mantığın temel işlevi aşağıdakilerden hangisidir?