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ą jest, że<br>&lt;gap&gt; x jest kolorowe i x jest żółte.<br>Zatem, choć sama funkcja zdaniowa nie jest wypowiedzią o