Yang disebut tanaaqudh itu perbedaan qodhiyyah dua di dalam ijab salabnya dan
benarnya satu (dari dua qodhiyyah itu) perkara yang diturut. Kalau terdapat qodhiyyah,
qodhiyyah syakshiyah atau mahmulah maka bermula naqidhnya qodhiyyah syakhshiyah atau
mahmulah dengan ijab salbi itu kalau engkau ganti dan kalau qhodiyyah diringkas dengan
soer, maka engekau buatlah tanaaqudh dengan soernya mahsuuroh yang disebut. Maka kalau
terdapat mahsuuroh itu mujibah kulliyah, maka naqidhnya mujibah kulliyah itu salibah
juz’iyah dan kalau ada mahsuuroh itu salibah kulliyah maka bermula naqidhnya saalibah
kulliyah itu mujibah juz’iayah.
Tanaqudh menuru istilah mantiq yaitu berbedanya dua qodhiyah dipandang dari ijab
(kepastian) salibah (tidak)-nya dan kebenarannya. Kalau dua qodhiyah berbeda (tanaaqudh)
dengan sendirinya salah satu dari qodhiyah itu pasti benar, dan yang lain tidak benar.