از آنجا که علامت «+» یعنی تمام مصادیق و علامت «-» یعنی برخی مصادیق، داریم؛ است - / نیست + هر و هیچ + / بعضی - یعنی هیج الف+ ب+ نیست (سالبه کلی) تمام مصادیق را دربر می‌گیرد!!