101435

Jednakże istnieją takie funkcje zdaniowe, gdzie cokolwiek podstawimy pod argument, to uzyskujemy zdanie prawdziwe („Jeżeli X jest matką, to X jest kobietą”) Jest to tzw kwantyfikator ogólny.

Kwantyfikator ogólny - funkcja zdaniowa, która jest prawdziwa przy wszystkich możliwych podstawień nazw w miejsce zmiennej.

Kwantyfikator szczegółowy - funkcja zdaniowa, która jest prawdziwa tylko przy niektórych zmiennych (np. „Jeżeli X jest mężczyzną, to X jest ojcem”)

Aby z takiej funkcji uzyskać zdanie prawdziwe lub fałszywe możemy postąpić w dwa sposoby:

1.    Przez konkretyzacje -podstawienie odpowiednich wyrażeń w miejsce w'szystkich koniecznych zmiennych (np. podstawiając imię)

2.    Przez kwantyfikacie -poprzedzenie danej funkcji zdaniowej kwantyfikatorem ogólnym, lub szczegółowym, który odnosił się będzie do wszystkich zawartych w danej funkcji zdaniowej zmiennych.