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 tzn. jest złożona z jednej lub więcej jednostkowej nazw indywidualnych 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óry tworzy zdanie tylko z jednym termem(np. Piotr uczy się)
Predykat dwuargumentowy - 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 -argumentowy - czyli taki, który tworzy zdanie z n termami
Kwantyfikator ogólny - reprezentowany jest wyrażeniem „dla każdego”, „dla wszystkich” a graficznie jest zapisywany Π,/\ i inne.
Kwantyfikator szczegółowy - reprezentowany jest przez wyrażenie „istnieje”, „dla pewnego”, „dla niektórych”, niektórych graficznie jest przedstawiany np. \/, ∑
Zasięg kwantyfikatora - wyrażenie, do którego odnosi się kwantyfikator
Zmienna związana - zmienna kwantyfikatora
... zobacz całą notatkę
Komentarze użytkowników (0)