صحت حمل و عدم صحت سلب
عدم صحت سلب معنای از لفظي علامت حقيقت بودن آن است.
مثلاً ما هم به محاکم اداري دادگاه می‌گوییم و هم به محاکم دادگستری. حال این که؛ سلب کردن دادگاه از محاکم اداري صحيح است و می‌توان گفت محاکم اداري دادگاه نیستند؛ لذا به علت صحت سلب، می‌گوییم استعمال لفظ دادگاه برای محاکم اداري مجاز است (صحت سلب = علامت مجاز). در حالي كه سلب لفظ دادگاه از محاکم دادگستري صحيح نيست و نمی‌توان گفت محاکم دادگستری، دادگاه نیستند، پس استعمال لفظ دادگاه در مورد محاكم دادگستري حقيقت است (عدم صحت سلب = علامت حقیقت).