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 określonej wartości logicznej, powstawać z niej mogą zdania prawdziwe czy też zdania fałszywe, i to w dwojaki sposób: 1) przez konkretyzację, to znaczy podstawienie odpowiednich wyrażeń na miejsce wszystkich występujących w danej funkcji zmiennych, 2