تصریح : انشاء صریح واضع مانند آنکه پدری نام فرزند خود را صریحاً قید کند.

20- نشانه های حقیقت               تبادر: هرگاه یکی از معانی زودتر از سایر معانی از لفظ استنباط شود(معنایی زودتر

                                                به ذهن    متبادر شود)

عدم صحت سلب یا صحت حمل : کلام به صورت کلی حمل بر معنایی حقیقی

شود .

اطراد: تردد و کثرت استعمال لفظی بر معنایی که نشان از حقیقی بودن لفظ دارد.              

                   وجود قرینه صارفه

21- نشانه های مجاز                  عدم تبادر یا تبادر غیر

صحت سلب یا عدم صحت حمل

22- تبادر علامت حقیقت و عدم تبادر یا تبادر غیر علامت مجاز است.

23- عدم صحت سلب یا صحت حمل نشانه حقیقت و صحت سلب یا عدم صحت حمل علامت مجاز است.

23- اطراد نشانه حقیقت و عدم اطراد نشانه مجاز است.

25- لفظ مشتق در خصوص ذاتی که در آینده یا مستقبل متلبس می شود مجاز است.

26- لفظ مشتق در خصوص ذاتی که در حال متلبس می شود حقیقت است.

27- در صورت شک در حقیقی یا مجازی بودن لفظ به اصالة الحقیقة تمسک جسته و لفظ را در معنای حقیقی آن درنظر می گیریم زیرا طبق این اصل ، ظاهر در معنای حقیقی الفاظ است مگر آنکه خلاف آن با وجود قرینه (قرینه صارفه ) مشخص شود.