41645

Rozdział VII: Elementy rachunku Predykatów

Podstawowe pojęcia

Nazwa jednostkowa - to taka, która ma tylko jeden desygnat

Nazwy indywidualne - przysługuje nazwie na zasadzie przyjętej konwencji znaczeniowej, niezależnie od właściwości, jakie posiada desygnat.

Nazwy generalne - desygnat takiej nazwy jest wyróżniony ze wzgl. na cechy Deskrypcje - niektóre z nazw generalnych mające tylko jeden desygnat, będące jednocześnie nazwami indywidualnymi.(Najwyższy budynek w Warszawie, granica między RP i Litwą). Jest zbudowana z Argumentu/Argumentów tza jest złożona z jednej lub więcej jednostkow ej nazw indy w idualnych oraz wyróżnienia. Wyróżnienie jest funktorem nazwotwórczym od tylu nazw ile jest nazw indywidualnych, nazwy generalne stają się częścią funktora=> Deskrypcyjny funktor nazwowy.

Term - jednostkowe nazwy indywidualne i deskrypcje

Predykat - wyrażenie, które w połączeniu z jednym lub więcej termów tworzy zdanie

-    Predykat jednoargumentowy - czyli taki, któiy tworzy zdanie tylko z jednym termem(np. Piotr uczy się)

Predykat dw uargumentowy - czyli taki, który tworzy zdanie z dwoma termami(np. Jan jest wyższy od Pawła)

-    Predykat trzyargumentowy - czyli taki, który tworzy zdanie z trzema termami (np. .10 podzielone przez 5 daje 2)

Predykat n -argumentów y - czyli taki, który tworzy zdanie z n termami Kw antyfikator ogólny - reprezentowany jest wyrażeniem „dla każdego”, „dla wszystkich” a graficznie jest zapisywany n,A i inne.

Kw antyfikator szczegółow y - reprezentowany jest przez wyrażenie „istnieje”, „dla pewnego”,

„dla niektórych”, niektórych graficznie jest przedstawiany np. V, £

Zasięg kw antyfikatora - wyrażenie, do którego odnosi się kwantyfikator Zmienna zw iązana - zmienna kwantyfikatora