Akwai nau'o'i biyu na ma'ana ta fahimta (mafhoom) dangane da hukuncin da ke cikin ma'anar zahiri (mantooq) na magana: mafhoom al-muwaafaqah, wanda hukuncin da ke cikin ma'anar fahimta ya yi daidai da na mantooq; da kuma mafhoom al-mukhaalafah, wanda hukuncin da ke cikin ma'anar fahimta shi ne akasin na mantooq. Wato, idan wata doka tana da alaka da wani sharadi, siffa, adadi, da sauransu, mutum zai iya zaton dokar ba ta shafi lokacin da sharadin, siffar, adadin, da sauransu ba su nan. Wasu malamai sun kara raba nau'o'in biyu zuwa rarrabuwa, amma bambance-bambancen suna da dan kankanta ta fuskar harshe, don haka ya isa a ambaci wasu misalai kadan daga kowane nau'i na biyu anan.

There are two types of mafhoom (implied) meanings in relationship to the rule contained in the mantooq meaning of a statement: the mafhoom almuwaafaqah, in which the rule in the implied meaning agrees with that of the mantooq; and mafhoom al-mukhaalafah, in which the rule in the implied meaning is the contrapositive of the mantooq.123 That is, if a law is connected to a particular condition, trait, number, etc., one can assume the law doesn’t apply when the condition, trait, number, etc. is missing. Both of these types of mafhoom meanings have been further subdivided by some scholars; however, the differences are so linguistically fine that it will suffice to mention a few examples from each of the two main types here.