ROZDZIAŁ DEFINICJE

 0    22 flashcards    definicjelogika
tải về mp3 In chơi tự kiểm tra
 
câu hỏi język polski câu trả lời język polski
Definicja przez abstrakcję
bắt đầu học
Każda definicja przez abstrakcję jest definicją równościową, a dokładniej mówiąc, jest definicją kontekstową.
-
bắt đầu học
Wyrażeniem definiowanym jest w niej zawsze funktor denotujący określoną funkcję jednoargumentową.
-
bắt đầu học
W definiensie definicji przez abstrakcję występuje zawsze dwuargumentowy predykat denotujący relację równościową w określonym zbiorze, a więc relację w zbiorze tym jednocześnie zwrotną, symetryczną i przechodnią.
-
bắt đầu học
Funkcja denotowana przez definiowany funktor przyporządkowuje różnym obiektom tę samą wartość - co właśnie stwierdza się w definiendum owej definicji
-
bắt đầu học
- wtedy tylko, gdy między tymi obiektami zachodzi relacja denotowana przez predykat, występujący w definiensie owej definicji.
Błąd nieadekwatności
bắt đầu học
Błąd nieadekwatności jest to błąd którym mogą być dotknięte tylko definicje sprawozdawcze.
-
bắt đầu học
Definicja sprawozdawcza winna należycie zdawać sprawę ze znaczenia, jakie ma w danym języku definiowane w niej wyrażenie, czyli winna być definicją adekwatną.
-
bắt đầu học
Jeżeli nienależycie informuje o znaczeniu definiowanego w niej wyrażenia, to obarczona jest błędem nieadekwatności.
-
bắt đầu học
Nieadekwatność definicji sprawozdawczej przejawia się na kilka sposobów. Omówimy tu trzy z nich.
-
bắt đầu học
Po pierwsze definicja sprawozdawcza jest nieadekwatna, gdy jest definicją za szeroką.
-
bắt đầu học
Przypuśćmy, że podano następującą definicję n-argumentowego predykatu "P" sprawozdawczą w danym języku: P(x1,..., xn) <=> R(x1,..., xn).
-
bắt đầu học
otóż definicja ta jest za szeroka, jeżeli tezą tego języka jest zdanie (...) ale nie jest tezą tego języka zdanie (...)
-
bắt đầu học
Po drugie definicja sprawozdawcza jest nieadekwatna, gdy jest definicją za wąską.
-
bắt đầu học
Podana wyżej definicja predykatu "P jest za wąska, jeżeli tezą rzeczonego języka jest zdanie (...) ale nie jest tezą tego języka zdanie (...)
-
bắt đầu học
Po trzecie, definicja sprawozdawcza jest nieadekwatna, gdy jest definicją krzyżującą.
-
bắt đầu học
Podana wyżej definicja predykatu "P" jest krzyżująca, jeżeli nie jest tezą rzeczonego języka zdanie (...) ani nie jest jego tezą zdanie (...) ale jest tezą jest zdanie (...)
Definicje indukcyjne
bắt đầu học
Definicje indukcyjne stanowią odmianę definicji nierównościowych.
-
bắt đầu học
Definicje indukcyjne nazywa się również definicjami rekurencyjnymi.
-
bắt đầu học
Każda definicja zbudowana jest z dwóch części, a mianowicie z warunku wstępnego i warunku indukcyjnego.
-
bắt đầu học
W zdaniu stanowiącym warunek wstępny podaje się najprostszy kontekst, w którym występuje wyrażenie definiowane.
-
bắt đầu học
Z kolei w zdaniu stanowiącym warunek indukcyjny zawarta jest zasada przekształcania bardziej złożonych kontekstów zawierających wyrażenia definiowane w konteksty prostsze.
-
bắt đầu học
Przykładem definicji indukcyjnej jest na przykład następująca definicja dodawania 1) x+0 = x, 2) x + następnik (y) = następnik (x+y)

Bạn phải đăng nhập để đăng bình luận.