kwantyfikatory - omówienie

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:
Przez konkretyzację -podstawienie odpowiednich wyrażeń w miejsce wszystkich koniecznych zmiennych (np. podstawiając imię)
Przez kwantyfikację -poprzedzenie danej funkcji zdaniowej kwantyfikatorem ogólnym, lub szczegółowym, który odnosił się będzie do wszystkich zawartych w danej funkcji zdaniowej zmiennych.
... zobacz całą notatkę