jest kolorowe, to x jest żółte,<br>bo może być przecież tak, że pewien przedmiot jest kolorowy, a nie jest żółty. W takim przypadku można byłoby orzec tylko, że dla niektórych x jest tak, że jeśli x jest kolorowe, to x jest żółte. Dla oznaczenia, że dana funkcja zdaniowa przy niektórych przynajmniej podstawieniach nazw na miejsce danej zmiennej zmienia się w zdanie prawdziwe, używa się w logice znaku zwanego kwantyfikatorem szczegółowym w odniesieniu do danej zmiennej czy zmiennych. Kwantyfikator szczegółowy odnoszony do zmiennej x zapisuje się w postaci &lt;gap&gt; albo ť x, ;x . Nie jest prawdą, że wszystko, co kolorowe, jest żółte, ale prawdą