ż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 <gap> albo ť x, ;x . Nie jest prawdą, że wszystko, co kolorowe, jest żółte, ale prawdą jest, że<br><gap> x jest kolorowe i x jest żółte.<br>Zatem, choć sama funkcja zdaniowa nie jest wypowiedzią o określonej wartości logicznej, powstawać z niej mogą zdania prawdziwe